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

Simple item page
dc.contributor.advisorGómez-Zamalloa Gil, Miguel
dc.contributor.authorTarascón Quintas, Eduardo
dc.contributor.authorGarcía Fernández, José Ángel
dc.date.accessioned2023-06-20T06:08:08Z
dc.date.available2023-06-20T06:08:08Z
dc.date.issued2013
dc.descriptionProyecto de Sistemas Informáticos (Facultad de Informática, Curso 2012-2013)
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/27161
dc.identifier.urihttps://hdl.handle.net/20.500.14352/46201
dc.language.isospa
dc.relation.ispartofseriesTrabajos de curso (Departamento de Sistemas Informáticos y Computación, FDI)
dc.rightsAtribución-NoComercial 3.0 España
dc.rights.accessRightsopen access
dc.rights.urihttps://creativecommons.org/licenses/by-nc/3.0/es/
dc.subject.keywordJava
dc.subject.keywordMáquina virtual
dc.subject.keywordChoco
dc.subject.keywordBCEL
dc.subject.keywordProgramación simbólica
dc.subject.keywordProgramación con restricciones
dc.subject.keywordTests
dc.subject.keywordJava virtual machine
dc.subject.keywordSymbolic programming
dc.subject.keywordConstraints programming
dc.subject.ucmProgramación de ordenadores (Informática)
dc.subject.unesco1203.23 Lenguajes de Programación
dc.titlejSyX: una máquina de ejecución simbólica para JAVA BYTECODE y su aplicación a la generación de tests
dc.typecoursework
dspace.entity.typePublication
relation.isAdvisorOfPublication6eef4c69-fd36-4274-b9c2-e93105ad2268
relation.isAdvisorOfPublication.latestForDiscovery6eef4c69-fd36-4274-b9c2-e93105ad2268

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
jSyX.pdf
Size:
3.86 MB
Format:
Adobe Portable Document Format
Download Download

Collections

Trabajos de curso