Constraint-Based Test Oracles for Program Analyzers
Program analyzers implement complex algorithms and, as any software, can contain bugs. Bugs in their implementation may lead to analyzers being imprecise and failing to verify safe programs, i.e., programs with no reachable error locations; or worse, analyzer bugs may lead to reporting unsound results by verifying unsafe programs, i.e., programs with reachable error locations.
Authors
- Maria Christakis (ORCID: https://orcid.org/0000-0002-2649-1958)
- Valentin Wüstholz (ORCID: https://orcid.org/0000-0003-1496-1104)
- Anastasia Isychev (ORCID: https://orcid.org/0000-0001-6375-0421)
- Markus Fleischmann (ORCID: https://orcid.org/0009-0001-7072-8908)
- David Kaindlstorfer
Institutions
- TU Wien (AT)
Publication Details
- Published
- 2024-10-18
- DOI
- https://doi.org/10.1145/3691620.3695035
- Citations
- 2
- Primary Topic
- Software Testing and Debugging Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.97
Funders
- European Research Council