Eras, E., 		Santiago, V., & 		Santos, L.
(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>, (pp. 72–79). Porto Alegre: SBC.