Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants) - Cachia, Mark Anthony; Micallef, Mark; Computer Science Annual Workshop CSAW’13 (University of Malta. Faculty of Information and Communication Technology, 2013)