Eduardo Eras, Valdivino Santiago, and Luciana Santos. 2019.
 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>, setembro 23, 2019, Salvador/BA, Brasil. SBC, Porto Alegre, Brasil, 72–79.