@inproceedings{b6237db72f7249ec8da449a2576e5d00,
title = "Combining bug detection and test case generation",
abstract = "Detecting bugs in software is an important software engineering activity. Static bug finding tools can assist in detecting bugs automatically, but they suffer from high false positive rates. Automatic test generation tools can generate test cases which can find bugs, but they suffer from an oracle problem. We present N-Prog, a hybrid of the two approaches. N-Prog iteratively presents the developer an interesting, real input/output pair. The developer either classifies it as a bug (when the output is incorrect) or adds it to the regression test suite (when the output is correct). N-Prog selects input/output pairs whose input produces different output on a mutated version of the program which passes the test suite of the original. In initial experiments, N-Prog detected bugs and rediscovered test cases that had been removed from a test suite.",
keywords = "Mutation, Mutational robustness, N-Prog, N-variant systems",
author = "Martin Kellogg",
note = "Publisher Copyright: {\textcopyright} 2016 ACM.; 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016 ; Conference date: 13-11-2016 Through 18-11-2016",
year = "2016",
month = nov,
day = "1",
doi = "10.1145/2950290.2983970",
language = "English (US)",
series = "Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering",
publisher = "Association for Computing Machinery",
pages = "1124--1126",
editor = "Zhendong Su and Thomas Zimmermann and Jane Cleland-Huang",
booktitle = "FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering",
}