jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests
dc.contributor.advisor | Gómez-Zamalloa Gil, Miguel | |
dc.contributor.author | Tarascón Quintas, Eduardo | |
dc.contributor.author | García Fernández, José Ángel | |
dc.date.accessioned | 2023-06-20T06:08:08Z | |
dc.date.available | 2023-06-20T06:08:08Z | |
dc.date.issued | 2013 | |
dc.description | Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2012-2013) | |
dc.description.department | Depto. de Sistemas Informáticos y Computación | |
dc.description.faculty | Fac. de Informática | |
dc.description.refereed | TRUE | |
dc.description.status | unpub | |
dc.eprint.id | https://eprints.ucm.es/id/eprint/27161 | |
dc.identifier.uri | https://hdl.handle.net/20.500.14352/46201 | |
dc.language.iso | spa | |
dc.relation.ispartofseries | Trabajos de curso (Departamento de Sistemas Informáticos y Computación, FDI) | |
dc.rights | Atribución-NoComercial 3.0 España | |
dc.rights.accessRights | open access | |
dc.rights.uri | https://creativecommons.org/licenses/by-nc/3.0/es/ | |
dc.subject.keyword | Java | |
dc.subject.keyword | Máquina virtual | |
dc.subject.keyword | Choco | |
dc.subject.keyword | BCEL | |
dc.subject.keyword | Programación simbólica | |
dc.subject.keyword | Programación con restricciones | |
dc.subject.keyword | Tests | |
dc.subject.keyword | Java virtual machine | |
dc.subject.keyword | Symbolic programming | |
dc.subject.keyword | Constraints programming | |
dc.subject.ucm | Programación de ordenadores (Informática) | |
dc.subject.unesco | 1203.23 Lenguajes de Programación | |
dc.title | jSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests | |
dc.type | coursework | |
dspace.entity.type | Publication | |
relation.isAdvisorOfPublication | 6eef4c69-fd36-4274-b9c2-e93105ad2268 | |
relation.isAdvisorOfPublication.latestForDiscovery | 6eef4c69-fd36-4274-b9c2-e93105ad2268 |
Download
Original bundle
1 - 1 of 1