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>Anais do IV Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, Salvador/BA, 2019, pp. 72–79.