Differentially testing soundness and precision of program analyzers.

Christian Klinger, Maria Christakis, Valentin Wstholz

Browse the full ISSTA paper archive.