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