TY  - GEN
AU  - Cabañas Ruiz, Israel
AU  - lores Montoya, Antonio
AU  - Gutiérrez Mota, Sergio
A4  - Albert Albiol, Elvira
A4  - Gómez-Zamalloa Gil, Miguel
PY  - 2011
UR  - https://hdl.handle.net/20.500.14352/46089
AB  - PET es una herramienta ya existente para la generación de casos de prueba que recibe como entrada un código de bytes de Java y una selección entre los criterios de recubrimiento disponibles y obtiene como salida unconjunto de casos de prueba...
LA  - spa
KW  - Testing
KW  - Generación de casos de prueba
KW  - Ejecuciónsimbólica
KW  - Precondiciones
KW  - Plugin de Eclipse. Test-case generation
KW  - Symbolic execution
KW  - Preconditions
TI  - jPET: un generador de casos de prueba sobre programas Java
TY  - coursework
ER  -