Code Coverage Aware Test Generation Using Constraint Solver. - Krystof Sykora; Bestoun S. Ahmed; Miroslav Bures (SEFM, 2020)