Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Luciana Brasil Rebelo dos Santos. Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. In Ivan Machado, Rodrigo Souza, Rita Suzana Pitangueira Maciel, Cláudio Sant'Anna, editors, Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, SAST 2019, Salvador, Brazil, September 23-27, 2019. pages 72-79, ACM, 2019. [doi]
Abstract is missing.