Simone do Rocio Senger de Souza José Carlos Maldonado Sandra Camargo Pinto Ferraz Fabbri Wanderley Lopes de Souza Mutation Testing Applied to Estelle Specifications. 2000 HICSS http://computer.org/proceedings/hicss/0493/04938/04938011abs.htm db/conf/hicss/hicss2000-8.html#SouzaMFS00