Under-constrained execution: making automatic code destruction easy and scalable

  title={Under-constrained execution: making automatic code destruction easy and scalable},
  author={Dawson R. Engler and Daniel Dunbar},
Software testing is well-recognized as a crucial part of the modern software development process. However, manual testing is labor intensive and often fails to produce impressive coverage results. Random testing is easily applied but gets poor coverage on complex code. Recent work has attacked these problems using symbolic execution to automatically generate high-coverage test inputs [3, 6, 4, 8, 5, 2]. At a high-level these tools use variations on the following idea. Instead of running code on… CONTINUE READING
Highly Cited
This paper has 77 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 37 extracted citations

Towards Optimal Concolic Testing

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 1 Excerpt

CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems

USENIX Annual Technical Conference • 2017
View 2 Excerpts

APEx: Automated inference of error specifications for C APIs

2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) • 2016
View 1 Excerpt

78 Citations

Citations per Year
Semantic Scholar estimates that this publication has 78 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

CUTE: a concolic unit testing engine for C

View 4 Excerpts
Highly Influenced