Eras, Eduardo, Valdivino Alexandre de Santiago, and Luciana Brasil Rebelo dos Santos.
" Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples." <em>Anais do IV Simpósio Brasileiro de Testes de Software Sistemático e Automatizado,
Salvador/BA, 2019</em>. SBC, 2019,  
pp.72–79.