Constraint-Based Test Oracles for Program Analyzers. - Markus Fleischmann; David Kaindlstorfer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis (ASE, 2024)

Interrogation Testing of Program Analyzers for Soundness and Precision Issues. - David Kaindlstorfer; Anastasia Isychev; Valentin Wüstholz; Maria Christakis (ASE, 2024)