Automated coverage calculation and test case generation

  title={Automated coverage calculation and test case generation},
  author={G. C. Morrison and Cornelia P. Inggs and W. C. Visser},
This article describes the use of symbolic execution, a formal method of static analysis, to calculate code coverage of a program's existing JUnit test suites. Code coverage is measured with respect to a number of test adequacy criteria, including statement coverage, branch coverage, condition coverage, method coverage, class coverage, and loop coverage… CONTINUE READING