Interrogation Testing of Program Analyzers for Soundness and Precision Issues
Abstract
Program analyzers are critical in safeguarding software reliability. However, due to their inherent complexity, they are likely to contain bugs themselves, and the question of how to detect them arises. Existing approaches, primarily based on specification-based, differential, or metamorphic testing, have been successful in finding analyzer bugs, but also come with certain limitations.
BibTeX
@inproceedings{Kaindlstorfer-al:ASE24,
author = {David Kaindlstorfer and
Anastasia Isychev and
Valentin W{\"{u}}stholz and
Maria Christakis},
title = {Interrogation Testing of Program Analyzers for Soundness and Precision Issues},
booktitle = {ASE},
pages = {319--330},
publisher = {{ACM}},
year = {2024},
}