Mutation testing applied to estelle specifications - Souza, Simone do Rocio Senger de; Maldonado, José Carlos; Fabbri, Sandra Camargo Pinto Ferraz; Souza, Wanderlei Lopes de (Software Quality Journal, 1999)