• Automated coverage calculation and test case generation 

      Morrison, George Campbell (Stellenbosch : Stellenbosch University, 2012-03)
      ENGLISH ABSTRACT: This research combines symbolic execution, a formal method of static analysis, with various test adequacy criteria, to explore the e ectiveness of using symbolic execution for calculating code coverage ...