Eras, Eduardo, 		Santiago, Valdivino, E 		Santos, Luciana.
" Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples" <em>Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (23 setembro 2019)