TY - CONF T1 - Mutation Testing from Probabilistic Finite State Machines JO - Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) UR - https://doi.org/10.1109/taic.part.2007.20 PY - 2007/01/01 AU - Hierons RM AU - Merayo MG ED - DO - DOI: 10.1109/taic.part.2007.20 PB - IEEE SP - 141 EP - 150 Y2 - 2025/11/05 ER -