A conditional slicing tool for Maude

Abstract

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.