In this work we develop Julienne, an online trace slicer for the high
performance rewriting logic language Maude.
Trace slicing is a widely used technique for execution trace analysis that
is effectively used in program debugging, analysis and comprehension. Our
slicing tool allows us to systematically trace back reverse dependences and
causality along Maude computation traces by means of an algorithm that
dynamically simplifies the trace and elides useless data that do not influence
the final result.
We describe the main facilities provided by the tool as well as the features
and architecture of the tool. The tool is particularly suitable for analyzing
complex, textually large execution traces such as those delivered by Maude
model checkers.Sapiña Sanchis, J. (2012). A conditional slicing tool for Maude. http://hdl.handle.net/10251/17356.Archivo delegad