%0 Generic
%A Tarascón Quintas, Eduardo
%A García Fernández, José Ángel
%T jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests
%J Trabajos de curso (Departamento de  Sistemas Informáticos y Computación, FDI)
%D 2013
%U https://hdl.handle.net/20.500.14352/46201
%~