Constraint-Based Test Oracles for Program Analyzers
Abstract
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.
BibTeX
@inproceedings{Fleischmann-al:ASE24,
author = {Markus Fleischmann and
David Kaindlstorfer and
Anastasia Isychev and
Valentin W{\"{u}}stholz and
Maria Christakis},
title = {{Constraint-Based} Test Oracles for Program Analyzers},
booktitle = {ASE},
pages = {344--355},
publisher = {{ACM}},
year = {2024},
}