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

Authors:
Pranav Garg;Franjo Ivancic;Gogul Balakrishnan;Naoto Maeda;Aarti Gupta
Affiliations:
University of Illinois at Urbana-Champaign, USA / NEC Labs, USA;NEC Labs, USA;NEC Labs, USA;NEC Labs, USA / NEC, Japan;NEC Labs, USA
Venue:
Proceedings of the 2013 International Conference on Software Engineering
Year:
2013

Citing 28
Cited 0

Solving Polynomial Systems Using a Branch and Prune Approach

SIAM Journal on Numerical Analysis
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Test input generation with java PathFinder

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
DART: directed automated random testing

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
CUTE: a concolic unit testing engine for C

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques

ACM Transactions on Mathematical Software (TOMS)
EXE: automatically generating inputs of death

Proceedings of the 13th ACM conference on Computer and communications security
Feedback-Directed Random Test Generation

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Hybrid Concolic Testing

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Valgrind: a framework for heavyweight dynamic binary instrumentation

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Heuristics for Scalable Dynamic Test Generation

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Program analysis via satisfiability modulo path programs

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LEAKPOINT: pinpointing the causes of memory leaks

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Proving memory safety of floating-point computations by combining static and dynamic program analysis

Proceedings of the 19th international symposium on Software testing and analysis
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Parallel symbolic execution for automated real-world software testing

Proceedings of the sixth conference on Computer systems
CORAL: solving complex constraints for symbolic pathfinder

NFM'11 Proceedings of the Third international conference on NASA Formal methods
Testing container classes: random or systematic?

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Symbolic execution with mixed concrete-symbolic solving

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Combined static and dynamic automated test generation

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Interprocedural exception analysis for C++

Proceedings of the 25th European conference on Object-oriented programming
A fast linear-arithmetic solver for DPLL(T)

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Symstra: a framework for generating object-oriented unit tests using symbolic execution

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Symbolic Execution with Interval Solving and Meta-heuristic Search

ICST '12 Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation

ICST '12 Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code

Proceedings of the 34th International Conference on Software Engineering
Modeling and analyzing the interaction of C and C++ strings

FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software

Quantified Score

Hi-index	0.00

Visualization

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.