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>Proceedings of the 4th Brazilian Symposium on Systematic and Automated Software Testing</em>, (pp. 72–79). Porto Alegre: SBC.