Infeasible path generalization in dynamic symbolic execution

• Autores: Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
• Localización: Information and software technology, ISSN 0950-5849, Nº 58, 2015, págs. 403-418
• Idioma: inglés
• Texto completo no disponible (Saber más ...)