Slicing-Based trace analysis of rewriting logic specifications with JULIENNE

Authors:
María Alpuente;Demis Ballis;Francisco Frechina;Julia Sapiña
Affiliations:
DSIC-ELP, Universitat Politècnica de València, Valencia, Spain;DIMI, Università degli Studi di Udine, Udine, Italy;DSIC-ELP, Universitat Politècnica de València, Valencia, Spain;DSIC-ELP, Universitat Politècnica de València, Valencia, Spain
Venue:
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Year:
2013

Citing 4
Cited 1

Dynamic program slicing

Information Processing Letters
Model-checking web applications with web-TLR

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Backward trace slicing for rewriting logic theories

CADE'11 Proceedings of the 23rd international conference on Automated deduction
Backward trace slicing for conditional rewrite theories

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Using conditional trace slicing for improving Maude programs

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present IJulienne, a trace analyzer for conditional rewriting logic theories that can be used to compute abstract views of Maude executions that help users understand and debug programs. Given a Maude execution trace and a slicing criterion which consists of a set of target symbols occurring in a selected state of the trace, IJulienne is able to track back reverse dependences and causality along the trace in order to incrementally generate highly reduced program and trace slices that reconstruct all and only those pieces of information that are needed to deliver the symbols of interest. IJulienne is also endowed with a trace querying mechanism that increases flexibility and reduction power and allows program runs to be examined at the appropriate level of abstraction.