- -

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 completo del ítem

Coll Ruiz, O. (2014). Generación de trazas para la ejecución concólica de programas Erlang. http://hdl.handle.net/10251/64219

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/64219

Ficheros en el ítem

Thumbnail
Nombre: Memoria.pdf
Tamaño: 1.109Mb
Formato: PDF
Abrir/Preview
[ZIP]
Nombre: src.zip
Tamaño: 2.277Kb
Formato: application/zip
Abrir

Metadatos del ítem

Título: Generación de trazas para la ejecución concólica de programas Erlang
Autor: Coll Ruiz, Onofre
Director(es): Vidal Oriola, Germán Francisco Tamarit Muñoz, Salvador
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2014-01-18
 Fecha difusión:
Resumen:
[EN] A system for testing Erlang applications using concolic execution has been proposed. Matem


[ES] Se ha descrito y propuesto un sistema de pruebas para programas Erlang basado en ejecución concólica.
Palabras clave: Pruebas de software , Ejecución simbólica , Erlang , Software testing , Symbolic execution
Derechos de uso: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Editorial:
Universitat Politècnica de València
Titulación: 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ó
Tipo: Tesis de máster

recommendations

 

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

Mostrar el registro completo del ítem