Souza, I., 		de Mello, R., 		Almeida, E., 		Werner, C., & 		Travassos, G.
(2016).
 Experimental Evaluation of FMCheck: A Replication Study.
In <em>Anais do XV Simpósio Brasileiro de Qualidade de Software</em>, (pp. 121-135). Porto Alegre: SBC.
doi:10.5753/sbqs.2016.15130