TY - CONF T1 - Semantic mutation testing JO - Science of Computer Programming PY - 2013/04/01 AU - Clark JA AU - Dan H AU - Hierons RM ED - DO - DOI: 10.1016/j.scico.2011.03.011 PB - Elsevier BV VL - 78 IS - 4 SP - 345 EP - 363 Y2 - 2024/12/22 ER -