Eras, Eduardo, 		Santiago, Valdivino, AND 		Santos, Luciana.
" Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples" <em>Proceedings of the Brazilian Symposium on Systematic and Automated Software Testing (SAST)</em> [Online], (23 September 2019)