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

Gómez-Zamalloa Gil, MiguelTarascón Quintas, EduardoGarcía Fernández, José Ángel2023-06-202023-06-202013https://hdl.handle.net/20.500.14352/46201Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2012-2013)spaAtribución-NoComercial 3.0 EspañajSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de testscourseworkopen accessJavaMáquina virtualChocoBCELProgramación simbólicaProgramación con restriccionesTestsJava virtual machineSymbolic programmingConstraints programmingProgramación de ordenadores (Informática)1203.23 Lenguajes de Programación