Eras, E., 		Santiago, V., & 		Santos, L.
2019 set 23.  Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :