Universidad Complutense de Madrid
E-Prints Complutense

jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests

Impacto

Downloads

Downloads per month over past year



Tarascón Quintas, Eduardo and García Fernández, José Ángel (2013) jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests. [Coursework] (Unpublished)

[img]
Preview
PDF
4MB




Item Type:Coursework
Additional Information:

Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2012-2013)

Uncontrolled Keywords:Java, Máquina virtual, Choco, BCEL, Programación simbólica, Programación con restricciones, Tests
Palabras clave (otros idiomas):Java, Java virtual machine, Choco, BCEL, Symbolic programming, Constraints programming, Tests
Subjects:Sciences > Computer science > Computer programming
ID Code:27161
Deposited On:21 Oct 2014 11:47
Last Modified:21 Oct 2014 11:47

Origin of downloads

Repository Staff Only: item control page