Iuri Souza, Rafael de Mello, Eduardo Almeida, Cláudia Werner, and Guilherme Travassos. 2016. Experimental Evaluation of FMCheck: A Replication Study. In Anais do XV Simpósio Brasileiro de Qualidade de Software, outubro 24, 2016, Maceió, Brasil. SBC, Porto Alegre, Brasil, 121-135. DOI: https://doi.org/10.5753/sbqs.2016.15130.