RT Generic T1 jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests A1 Tarascón Quintas, Eduardo A1 García Fernández, José Ángel YR 2013 FD 2013 LK https://hdl.handle.net/20.500.14352/46201 UL https://hdl.handle.net/20.500.14352/46201 LA spa NO Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2012-2013) DS Docta Complutense RD 6 abr 2025