An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

  title={An empirical investigation into branch coverage for C programs using CUTE and AUSTIN},
  author={Kiran Lakhotia and Phil McMinn and Mark Harman},
  journal={Journal of Systems and Software},
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testing. This paper reports the results of an empirical study using the dynamic symbolic execution tool, CUTE, and a search based tool, AUSTIN on five non-trivial open source applications. The aim is to provide practitioners with an assessment of what can be achieved by existing techniques with little or no specialist… CONTINUE READING
Highly Cited
This paper has 57 citations. REVIEW CITATIONS


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

Weighted Particle Swarm Optimization algorithm for test data generation

2016 International Conference on Computing, Analytics and Security Trends (CAST) • 2016
View 8 Excerpts
Highly Influenced

A systematic mapping study on experiments with automatic structural test case generation

2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI) • 2012
View 3 Excerpts
Highly Influenced

To Detect Abnormal Program Behaviours via Mutation Deduction

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) • 2018
View 1 Excerpt

Epistasis Based ACO for Regression Test Case Prioritization

IEEE Transactions on Emerging Topics in Computational Intelligence • 2017
View 1 Excerpt

Evaluating code-based test input generator tools

Softw. Test., Verif. Reliab. • 2017
View 2 Excerpts

57 Citations

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

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 49 references

Heuristics for Scalable Dynamic Test Generation

2008 23rd IEEE/ACM International Conference on Automated Software Engineering • 2008
View 12 Excerpts
Highly Influenced


N. Tillmann
de Halleux, Pex-white box test generation for.NET, in: TAP, Vol. 4966 of Lecture Notes in Computer Science, Springer • 2008
View 6 Excerpts
Highly Influenced

Evolutionary testing of classes

ISSTA • 2004
View 4 Excerpts
Highly Influenced

Evolutionary test environment for automatic structural testing

Information & Software Technology • 2001
View 10 Excerpts
Highly Influenced

Automated Software Test Data Generation

IEEE Trans. Software Eng. • 1990
View 8 Excerpts
Highly Influenced

Automatic Generation of Floating-Point Test Data

IEEE Transactions on Software Engineering • 1976
View 6 Excerpts
Highly Influenced

CUTE: a concolic unit testing engine for C

View 6 Excerpts
Highly Influenced

A theoretical andempirical studyof searchbased testing : local , global and hybrid search

M. arman, L. Hu, +4 authors M. Roper
IEEE Transactions on Software Engineering • 2010

Similar Papers

Loading similar papers…