- -

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

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

Metadatos del ítem

Título: Generación de trazas para la ejecución concólica de programas Erlang
Autor:
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 difusión:
Fecha acto/lectura: 2014-01-18
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 - Sin obra derivada - No comercial (by-nd-nc)
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

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

Mostrar el registro completo del ítem