Souza, I., 		de Mello, R., 		Almeida, E., 		Werner, C., & 		Travassos, G.
2016 Oct 24.  Experimental Evaluation of FMCheck: A Replication Study. Proceedings of the Brazilian Software Quality Symposium (SBQS). [Online] :