An evaluation of symbolic execution for test generation in open-sourcec/c++ software

• Autores: Martín Nieto Pinteño, Kevin Jesús Valle Gómez, Inmaculada Medina Bulo
• Localización: Applied Computer Science: 11th Spanish German Symposium, SGSOACS 2025, Vienna, Austria, June 30-July 3, 2025, Proceedings / coord. por Jörg Schäfer ; Juan Boubeta Puig (ed. lit.) , 2026, ISBN 978-3-032-14816-2, págs. 3-15
• Idioma: español
• Texto completo no disponible (Saber más ...)