Accumulation Analysis (Artifact)

Kellogg, Martin; Shadab, Narges; Sridharan, Manu; Ernst, Michael D.

doi:10.4230/DARTS.8.2.22

Artifact Description

DARTS.8.2.22.pdf

Filesize: 482 kB
3 pages

Document Identifiers

DOI: 10.4230/DARTS.8.2.22
URN: urn:nbn:de:0030-drops-162209

Author Details

Martin Kellogg

University of Washington, Seattle, WA, USA

Narges Shadab

University of California, Riverside, CA, USA

Manu Sridharan

University of California, Riverside, CA, USA

Michael D. Ernst

University of Washington, Seattle, WA, USA

Cite AsGet BibTex

Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst. Accumulation Analysis (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 22:1-22:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/DARTS.8.2.22

Artifact

DARTS-8-2-22-artifact-429b8a9421df64399b328dfa1e075a9d.zip (Filesize: 1.08 MB)

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy

Abstract

This artifact contains the data and analysis supporting the literature survey in section 4 of [Kellogg et al., 2022]. 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.

Subject Classification

ACM Subject Classification

Software and its engineering → Formal software verification

Keywords

Typestate
finite-state property

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

References

Nels E Beckman, Duri Kim, and Jonathan Aldrich. An empirical study of object protocols in the wild. In European Conference on Object-Oriented Programming, pages 2-26. Springer, 2011.
Matthew B Dwyer, George S Avrunin, and James C Corbett. Patterns in property specifications for finite-state verification. In International Conference on Software Engineering, pages 411-420, 1999.
Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst. Lightweight and modular resource leak verification. In ESEC/FSE 2021: The ACM 29th joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021.
Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst. Accumulation analysis. In European Conference on Object-Oriented Programming (ECOOP), 2022.