SOUZA, Iuri S.; 						DE MELLO, Rafael M.; 						ALMEIDA, Eduardo S. de; 						WERNER, Cláudia M. L.; 						TRAVASSOS, Guilherme H..
 Experimental Evaluation of FMCheck: A Replication Study. <em>In</em>: SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS), 15.	, 2016, Maceió.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2016
.
 p. 121-135. 
		DOI: <a href="https://doi.org/10.5753/sbqs.2016.15130">https://doi.org/10.5753/sbqs.2016.15130</a>.