Code Coverage Aware Test Generation Using Constraint Solver

Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures

Code coverage has been used in the software testing context mostly as a metric to assess a generated test suite's quality. Recently, code coverage analysis is used as a white-box t…