@inproceedings{inproceedings, title = {{Mutation Testing from Probabilistic Finite State Machines}}, publisher = {{IEEE}}, url = {{https://doi.org/10.1109/taic.part.2007.20 }}, year = {{2007}}, month = {{1}}, author = {{Hierons RM and Merayo MG}}, doi = {{10.1109/taic.part.2007.20}}, journal = {{Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)}}, pages = {{141-150}}, note = {{Accessed on 2025/11/05}}}