Using conditional trace slicing for improving Maude programs ?
Backward trace slicing technique for RWL computations (Maude execution traces). It copes with prominent RWL features, including algebraic axioms (ACU). Also supports the extremely rich variety of conditions in Maude theories. The experimental slicer iJulienne reduces the trace size up to 98%. Applications to debugging and improvement of Web systems and protocol models.
trace slicing program debugging and comprehension rewriting logic