Artifact for "Accumulation Analysis"
Anonymous · Zenodo (CERN European Organization for Nuclear Research) · 2021
The artifact for the paper "Accumulation Analysis", submitted to ECOOP 2022. It contains the data for our literature survey of papers that use typestate specifications. See the file `README.md` for details.