Información del autor
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Gómez Zamalloa, Miguel ; Rojas, José Miguel | 2014-05The focus of this tutorial is white-box test case generation (TCG) based on symbolic execution. Symbolic execution consists in executing a program with the contents of its input arguments being symbolic variables rather than concrete values. A s[...]
