Francisco Frechina

According to our database, Francisco Frechina authored at least 13 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Assertion-based analysis via slicing with ABETS.

María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis

Theory Pract. Log. Program., 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 (System Description).

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

CoRR, 2016

2015

Exploring conditional rewriting logic computations.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

J. Symb. Comput., 2015

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Using conditional trace slicing for improving Maude programs.

María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero

Sci. Comput. Program., 2014

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

Proceedings of the Specification, Algebra, and Software, 2014

2013

Rewriting-based repairing strategies for XML repositories.

María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero

J. Log. Algebraic Methods Program., 2013

Parametric Exploration of Rewriting Logic Computations.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.

María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña

Proceedings of the Programming Languages and Systems, 2013

2012

Backward Trace Slicing for Conditional Rewrite Theories.

María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Julienne: A Trace Slicer for Conditional Rewrite Theories.

María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero

Proceedings of the FM 2012: Formal Methods, 2012

2011

Debugging of Web Applications with Web-TLR

María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero

Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011