TY - CONF T1 - MESSI: Mutant Evaluation by Static Semantic Interpretation JO - 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation PY - 2012/01/01 AU - Patrick M AU - Oriol M AU - Clark JA ED - DO - DOI: 10.1109/icst.2012.161 PB - IEEE SN - 9781457719066 Y2 - 2024/12/23 ER -