Francisco Frechina

13 papers A 1B 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2016 J jnl
Assertion-based Analysis via Slicing with ABETS (System Description).
CoRR
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2016 J jnl
Assertion-based analysis via slicing with ABETS.
Theory Pract. Log. Program.
María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis
2016 J jnl
Debugging Maude programs via runtime assertion checking and trace slicing.
J. Log. Algebraic Methods Program.
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2015 — conf
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.
Logic, Rewriting, and Concurrency
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2015 J jnl
Exploring conditional rewriting logic computations.
J. Symb. Comput.
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2014 — conf
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).
Specification, Algebra, and Software
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2014 J jnl
Using conditional trace slicing for improving Maude programs.
Sci. Comput. Program.
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2013 — conf
Parametric Exploration of Rewriting Logic Computations.
SCSS
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2013 J jnl
Rewriting-based repairing strategies for XML repositories.
J. Log. Algebraic Methods Program.
María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
2013 A conf
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.
ESOP
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2012 B conf
Backward Trace Slicing for Conditional Rewrite Theories.
LPAR
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2012 B conf
Julienne: A Trace Slicer for Conditional Rewrite Theories.
FM
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2011 — conf
Debugging of Web Applications with Web-TLR
WWV
María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero