Alpuente Frasnedo, M.; Ballis, D.; Espert, J.; Romero, D. (2011). Backward Trace Slicing for Rewriting Logic Theories -Technical report -. http://hdl.handle.net/10251/10770
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/10770
Title: | Backward Trace Slicing for Rewriting Logic Theories -Technical report - | |
Author: | Ballis, Demis Espert, Javier Romero, Daniel | |
UPV Unit: |
|
|
Issued date: |
|
|
Abstract: |
Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used ...[+]
|
|
Subjects: |
|
|
Copyrigths: | Reserva de todos los derechos | |
Publisher: |
|
|
Series: |
|
|
Type: |
|