- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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

Show full item record

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

Files in this item

Item Metadata

Title: Generación de trazas para la ejecución concólica de programas Erlang
Author: Coll Ruiz, Onofre
Director(s): Vidal Oriola, Germán Francisco Tamarit Muñoz, Salvador
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2014-01-18
Issued date:
Abstract:
[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.
Subjects: Pruebas de software , Ejecución simbólica , Erlang , Software testing , Symbolic execution
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Publisher:
Universitat Politècnica de València
degree: 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ó
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record