Souza, I., 		de Mello, R., 		Almeida, E., 		Werner, C., & 		Travassos, G.
2016 out 24.  Experimental Evaluation of FMCheck: A Replication Study. Anais do Simpósio Brasileiro de Qualidade de Software (SBQS). [Online] :