| Title | Accumulation analysis (artifact) |
| Publication Type | Journal Article |
| Year of Publication | 2022 |
| Authors | Kellogg M, Shadab N, Sridharan M, Ernst MD |
| Journal | DARTS, Dagstuhl Artifacts Series |
| Volume | 8 |
| Pagination | 22:1-22:3 |
| Date or Month Published | June |
| Abstract | 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. \par 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. |
| Downloads | https://checkerframework.org/ implementation
https://drops.dagstuhl.de/opus/volltexte/2022/16220/artifact/DARTS-8-2-2... artifact
|
| Citation Key | KelloggSSE2022:artifact |
