Work

Interrogation Testing of Program Analyzers for Soundness and Precision Issues

Year: 2024

Type: conference-paper

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.

Source: IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/3691620.3695034

Authors: David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis

Institution: TU Wien

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: European Research Council

Award: G2520577183