Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis.

Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen

Browse the full QRS paper archive.