An Evaluation of Symbolic Execution for Test Generation in Open-Source C/C++ Software. - Martín Nieto-Pinteño; Kevin J. Valle-Gómez; Inmaculada Medina-Bulo (SGSOACS, 2025)