Debugging of Web Applications with Web-TLR - María Alpuente; Demis Ballis; Javier Espert; Francisco Frechina; Daniel Romero 001 (WWV, 2011)

Julienne: A Trace Slicer for Conditional Rewrite Theories. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (FM, 2012)

Backward Trace Slicing for Conditional Rewrite Theories. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (LPAR, 2012)

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (ESOP, 2013)

Parametric Exploration of Rewriting Logic Computations. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (SCSS, 2013)

Rewriting-based repairing strategies for XML repositories. - María Alpuente; Demis Ballis; Moreno Falaschi; Francisco Frechina; Daniel Romero 001 (J. Log. Algebraic Methods Program., 2013)

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (Specification, Algebra, and Software, 2014)

Using conditional trace slicing for improving Maude programs. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (Sci. Comput. Program., 2014)

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (Logic, Rewriting, and Concurrency, 2015)

Exploring conditional rewriting logic computations. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (J. Symb. Comput., 2015)

Assertion-based Analysis via Slicing with ABETS (System Description). - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (CoRR, 2016)

Debugging Maude programs via runtime assertion checking and trace slicing. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (J. Log. Algebraic Methods Program., 2016)

Assertion-based analysis via slicing with ABETS. - María Alpuente; Francisco Frechina; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2016)