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/taicpart.2007.4344118 PY - 2007/12/01 AU - Hierons RM AU - Merayo MG ED - DO - DOI: 10.1109/taicpart.2007.4344118 PB - IEEE Y2 - 2025/11/05 ER -