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>Proceedings of the 4th Brazilian Symposium on Systematic and Automated Software Testing,
Salvador/BA, 2019</em>. SBC, 2019,  
pp.72–79.