E. Eras, V. Santiago, and L. Santos.
" Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples", in <em>Proceedings of the 4th Brazilian Symposium on Systematic and Automated Software Testing</em>, Salvador/BA, 2019, pp. 72–79.