Browsing by Title

SUNScholar Research Repository

Browsing by Title

Sort by: Order: Results:

  • 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 ...