TY - JOUR T1 - Mutation testing from probabilistic and stochastic finite state machines JO - Journal of Systems and Software PY - 2009/01/01 AU - Hierons RM AU - Merayo MG ED - DO - DOI: 10.1016/j.jss.2009.06.030 PB - Elsevier BV VL - 82 IS - 11 SP - 1804 EP - 1818 Y2 - 2025/07/07 ER -