Eras, E., 		Santiago, V., & 		Santos, L.
2019 Sep 23.  Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. Proceedings of the Brazilian Symposium on Systematic and Automated Software Testing (SAST). [Online] :