- -

Generación de trazas para la ejecución concólica de programas Erlang

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Generación de trazas para la ejecución concólica de programas Erlang

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: Memoria.pdf
Tamaño: 1.109Mb
Formato: PDF
Abrir
[ZIP]
Nombre: src.zip
Tamaño: 2.277Kb
Formato: application/zip
Abrir
dc.contributor.advisor Vidal Oriola, Germán Francisco es_ES
dc.contributor.advisor Tamarit Muñoz, Salvador es_ES
dc.contributor.author Coll Ruiz, Onofre es_ES
dc.date.accessioned 2016-05-17T09:50:34Z
dc.date.available 2016-05-17T09:50:34Z
dc.date.created 2014-01-18
dc.date.issued 2016-05-17
dc.identifier.uri http://hdl.handle.net/10251/64219
dc.description.abstract [EN] A system for testing Erlang applications using concolic execution has been proposed. Matem es_ES
dc.description.abstract [ES] Se ha descrito y propuesto un sistema de pruebas para programas Erlang basado en ejecución concólica. es_ES
dc.format.extent 105 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Pruebas de software es_ES
dc.subject Ejecución simbólica es_ES
dc.subject Erlang es_ES
dc.subject Software testing es_ES
dc.subject Symbolic execution es_ES
dc.subject.classification BIBLIOTECONOMIA Y DOCUMENTACION es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació es_ES
dc.title Generación de trazas para la ejecución concólica de programas Erlang es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation Coll Ruiz, O. (2014). Generación de trazas para la ejecución concólica de programas Erlang. http://hdl.handle.net/10251/64219 es_ES
dc.description.accrualMethod Archivo delegado es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem