TY  - GEN
AU  - Tarascón Quintas, Eduardo
AU  - García Fernández, José Ángel
A4  - Gómez-Zamalloa Gil, Miguel
PY  - 2013
UR  - https://hdl.handle.net/20.500.14352/46201
LA  - spa
KW  - Java
KW  - Máquina virtual
KW  - Choco
KW  - BCEL
KW  - Programación simbólica
KW  - Programación con restricciones
KW  - Tests
KW  - Java virtual machine
KW  - Symbolic programming
KW  - Constraints programming
TI  - jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests
TY  - coursework
ER  -