Code Coverage Aware Test Generation Using Constraint Solver.

Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures

Browse the full SEFM paper archive.