Souza, Iuri, de Mello, Rafael, Almeida, Eduardo, Werner, Cláudia, E Travassos, Guilherme. " Experimental Evaluation of FMCheck: A Replication Study" Anais do Simpósio Brasileiro de Qualidade de Software (SBQS) [Online], (24 outubro 2016)