- -

Slicing slices, an incremental backward trace slicing methodology for rwl computations

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

Compartir/Enviar a

Citas

Estadísticas

Slicing slices, an incremental backward trace slicing methodology for rwl computations

Mostrar el registro completo del ítem

Sapiña Sanchis, J. (2013). Slicing slices, an incremental backward trace slicing methodology for rwl computations. http://hdl.handle.net/10251/44971.

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

Ficheros en el ítem

Metadatos del ítem

Título: Slicing slices, an incremental backward trace slicing methodology for rwl computations
Autor:
Director(es): Frechina Navarro, Francisco Alpuente Frasnedo, María
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha difusión:
Fecha acto/lectura: 2013-07-10
Resumen:
[EN] Execution traces are an important source of information for program understanding and debugging. However, they have as an important drawback that they are commonly huge and complex, making their manual analysis ...[+]


[ES] Las trazas de ejecución son una importante fuente de información para el entendimiento y depuración de los programas. Sin embargo, poseen el importante inconveniente de ser habitualmente enormes y complejas, haciendo ...[+]
Palabras clave: Fragmentación de trazas , Lógica de reescritura , Depuración , Trace slicing , Rewriting logic , Debugging
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