TY - GEN
T1 - Feedback-directed unit test generation for C/C++ using concolic execution
AU - Garg, Pranav
AU - Ivancic, Franjo
AU - Balakrishnan, Gogul
AU - Maeda, Naoto
AU - Gupta, Aarti
PY - 2013
Y1 - 2013
N2 - In industry, software testing and coverage-based metrics are the predominant techniques to check correctness of software. This paper addresses automatic unit test generation for programs written in C/C++. The main idea is to improve the coverage obtained by feedback-directed random test generation methods, by utilizing concolic execution on the generated test drivers. Furthermore, for programs with numeric computations, we employ non-linear solvers in a lazy manner to generate new test inputs. These techniques significantly improve the coverage provided by a feedback-directed random unit testing framework, while retaining the benefits of full automation. We have implemented these techniques in a prototype platform, and describe promising experimental results on a number of C/C++ open source benchmarks.
AB - In industry, software testing and coverage-based metrics are the predominant techniques to check correctness of software. This paper addresses automatic unit test generation for programs written in C/C++. The main idea is to improve the coverage obtained by feedback-directed random test generation methods, by utilizing concolic execution on the generated test drivers. Furthermore, for programs with numeric computations, we employ non-linear solvers in a lazy manner to generate new test inputs. These techniques significantly improve the coverage provided by a feedback-directed random unit testing framework, while retaining the benefits of full automation. We have implemented these techniques in a prototype platform, and describe promising experimental results on a number of C/C++ open source benchmarks.
UR - http://www.scopus.com/inward/record.url?scp=84886426731&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84886426731&partnerID=8YFLogxK
U2 - 10.1109/ICSE.2013.6606559
DO - 10.1109/ICSE.2013.6606559
M3 - Conference contribution
AN - SCOPUS:84886426731
SN - 9781467330763
T3 - Proceedings - International Conference on Software Engineering
SP - 132
EP - 141
BT - 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings
T2 - 2013 35th International Conference on Software Engineering, ICSE 2013
Y2 - 18 May 2013 through 26 May 2013
ER -