Feedback-directed unit test generation for C/C++ using concolic execution

Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publication2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings
Pages132-141
Number of pages10
DOIs
StatePublished - Oct 30 2013
Externally publishedYes
Event2013 35th International Conference on Software Engineering, ICSE 2013 - San Francisco, CA, United States
Duration: May 18 2013May 26 2013

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Other

Other2013 35th International Conference on Software Engineering, ICSE 2013
CountryUnited States
CitySan Francisco, CA
Period5/18/135/26/13

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Feedback-directed unit test generation for C/C++ using concolic execution'. Together they form a unique fingerprint.

  • Cite this

    Garg, P., Ivancic, F., Balakrishnan, G., Maeda, N., & Gupta, A. (2013). Feedback-directed unit test generation for C/C++ using concolic execution. In 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings (pp. 132-141). [6606559] (Proceedings - International Conference on Software Engineering). https://doi.org/10.1109/ICSE.2013.6606559