Using symbolic execution for equivalent mutant detection - Cachia, Mark Anthony; Micallef, Mark; Computer Science Annual Workshop CSAW’13 (2013)