An Empirical Investigation Into Branch Coverage for C Programs Using CUTE and AUSTIN

by Kiran Lakhotia, Phil McMinn and Mark Harman

Journal of Systems and Software, 2010



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 knowledge and to provide researchers with baseline data against which to measure subsequent work. To achieve this, each tool is applied ‘as ... [more]


Reference

Kiran Lakhotia, Phil McMinn and Mark Harman. An Empirical Investigation Into Branch Coverage for C Programs Using CUTE and AUSTIN. Journal of Systems and Software, vol. 83, no. 12, pp. 2379–2391, 2010


Bibtex Entry
@article{Lakhotia2010,
  author  = "Lakhotia, Kiran and McMinn, Phil and Harman, Mark",
  title   = "An Empirical Investigation Into Branch Coverage for {C} Programs Using {CUTE} and {AUSTIN}",
  journal = "Journal of Systems and Software",
  volume  = "83",
  number  = "12",
  pages   = "2379--2391",
  year    = "2010"
}