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>Proceedings of the 15th Brazilian Symposium on Software Quality,
Maceió, 2016</em>. SBC, 2016,  
pp.121-135.