Martín Nieto-Pinteño

According to our database, Martín Nieto-Pinteño authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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

Proceedings of the Applied Computer Science - 11th Spanish German Symposium, 2025