ERAS, Eduardo Rohde; 						SANTIAGO, Valdivino Alexandre de; 						SANTOS, Luciana Brasil Rebelo dos.
 Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. <em>In</em>: BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST), 4.	, 2019, Salvador/BA.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 72–79.