Souza, Iuri, Rafael M. de Mello, Eduardo S. de Almeida, Cláudia M. L. Werner, and Guilherme H. Travassos.
"Experimental Evaluation of FMCheck: A Replication Study." <em>Anais do XV Simpósio Brasileiro de Qualidade de Software,
Maceió, 2016</em>. SBC, 2016,  
pp.121-135.