Download: PDF, implementation, artifact.
“Accumulation analysis (artifact)” by Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst. DARTS, Dagstuhl Artifacts Series, vol. 8, no. 2, June 2022, pp. 22:1-22:3.
This artifact contains the data and analysis supporting the literature survey in section 4 of [4]. In our literature survey, we examined 187 papers from the literature that mention “typestate” and analyzed the typestate specifications they contained to determine whether or not they are accumulation typestate specifications.
Our purpose in doing this literature survey was to determine whether typestate FSMs were accumulation or not. However, we believe that the collection of typestate automata in typestates.pdf might be useful to anyone interested in the sort of typestate automata that appear in the literature. If we had had access to such a collection (gathered for a different purpose), our classification of whether these typestate automata were accumulation would have been much simpler. Anyone interested in properties of typestate automata can re-use our work.
Download: PDF, implementation, artifact.
BibTeX entry:
@article{KelloggSSE2022:artifact,
author = {Martin Kellogg and Narges Shadab and Manu Sridharan and
Michael D. Ernst},
title = {Accumulation analysis (artifact)},
journal = {DARTS, Dagstuhl Artifacts Series},
volume = {8},
number = {2},
pages = {22:1-22:3},
address = {Berlin, Germany},
month = jun,
year = {2022}
}
(This webpage was created with bibtex2web.)
Back to Michael Ernst's publications.