Rafael Caballero

55 papers A 1B 4C 8Misc 6Journal 16Unranked 20
YearRankTypeTitle / Venue / Authors
2021 J jnl
A unified framework for declarative debugging and testing.
Inf. Softw. Technol.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2019 J jnl
A core Erlang semantics for declarative debugging.
J. Log. Algebraic Methods Program.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2018 J jnl
Declarative debugging of concurrent Erlang programs.
J. Log. Algebraic Methods Program.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2017 J jnl
A Survey of Algorithmic Debugging.
ACM Comput. Surv.
Rafael Caballero, Adrián Riesco, Josep Silva
2017 J jnl
Anticipating anonymity in screening program databases.
Int. J. Medical Informatics
Rafael Caballero, Sagar Sen, Jan Nygård
2016 — conf
Debugging Meets Testing in Erlang.
TAP@STAF
Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero
2015 J jnl
A zoom-declarative debugger for sequential Erlang programs.
Sci. Comput. Program.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2015 C conf
Checking Java Assertions Using Automated Test-Case Generation.
LOPSTR
Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof
2015 C conf
Debugging of wrong and missing answers for datalog programs with constraint handling rules.
PPDP
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2015 J jnl
Two type extensions for the constraint modeling language MiniZinc.
Sci. Comput. Program.
Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes
2014 J jnl
A Transformation-based implementation for CLP with qualification and proximity.
Theory Pract. Log. Program.
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2014 A conf
EDD: A Declarative Debugger for Sequential Erlang Programs.
TACAS
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2013 — conf
A Declarative Debugger for Sequential Erlang Programs.
TAP@STAF
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2013 C conf
Finite type extensions in constraint programming.
PPDP
Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes
2012 J jnl
A Transformation-based Implementation for CLP with Qualification and Proximity
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2012 Misc conf
Declarative Debugging of Wrong and Missing Answers for SQL Views.
FLOPS
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2012 J jnl
Declarative debugging of rewriting logic specifications.
J. Log. Algebraic Methods Program.
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
2012 J jnl
Test-Case Generation for SQL Nested Queries with Existential Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Rafael Caballero, José Luzon-Martin, Antonio Tenorio-Fornes
2011 C conf
A Declarative Embedding of XQuery in a Functional-Logic Language.
LOPSTR
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011 B conf
A Deductive Database with Datalog and SQL Query Languages.
APLAS
Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz
2011 J jnl
A Generic Scheme for Qualified Constraint Functional Logic Programming
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2011 C conf
A program transformation for returning states in functional-logic programs.
PEPM
Rafael Caballero
2011 — conf
Algorithmic Debugging of SQL Views.
Ershov Memorial Conference
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011 C conf
Integrating XPath with the Functional-Logic Language Toy.
PADL
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011 C conf
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.
LOPSTR
Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2011 — conf
XPath Query Processing in a Functional-Logic Language.
PROLE
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011 — conf
XQuery in the Functional-Logic Language Toy.
WFLP
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2010 J jnl
A Transformation-based Implementation for CLP with Qualification and Proximity
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010 Misc conf
Applying Constraint Logic Programming to SQL Test Case Generation.
FLOPS
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2010 J jnl
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
CoRR
Rafael Caballero, John P. Gallagher
2010 J jnl
Similarity-based Reasoning in Qualified Logic Programming
CoRR
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2009 B conf
Qualified Computations in Functional Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2008 — conf
A Declarative Debugger for Maude Functional Modules.
WRLA
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
2008 — conf
A Declarative Debugger for Maude.
AMAST
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
2008 — conf
A Theoretical Framework for the Declarative Debugging of Datalog Programs.
SDKB
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2008 — conf
Declarative Debugging of Membership Equational Logic Specifications.
Concurrency, Graphs and Models
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
2008 — conf
Declarative Debugging of Rewriting Logic Specifications.
WADT
Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
2008 Misc conf
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.
FLOPS
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2008 C conf
Similarity-based reasoning in qualified logic programming.
PPDP
Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2007 — conf
A New Proposal for Debugging Datalog Programs.
WFLP@RDP
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2007 B conf
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006 — conf
Algorithmic Debugging of Java Programs.
WFLP
Rafael Caballero, Christian Hermanns, Herbert Kuchen
2006 B conf
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006 — conf
Implementing Dynamic-Cut in TOY.
WFLP
Rafael Caballero, Yolanda García-Ruiz
2005 — conf
A declarative debugger of incorrect answers for constraint functional-logic programs.
WCFLP
Rafael Caballero
2004 Misc conf
DDT: a Declarative Debugging Tool for Functional-Logic Languages.
FLOPS
Rafael Caballero, Mario Rodríguez-Artalejo
2003 J jnl
Improving Deterministic Computations in Lazy Functional Logic Languages.
J. Funct. Log. Program.
Rafael Caballero, Francisco Javier López-Fraguas
2002 — conf
Declarative Debugging for Encapsulated Search.
WFLP
Rafael Caballero, Wolfgang Lux
2002 Misc conf
Dynamic-Cut with Definitional Trees.
FLOPS
Rafael Caballero, Francisco Javier López-Fraguas
2001 — conf
A Declarative Debugging System for Lazy Functional Logic Programs.
WFLP
Rafael Caballero, Mario Rodríguez-Artalejo
2001 Misc conf
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.
FLOPS
Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
2000 — conf
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.
WFLP
Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1999 — conf
A Functional-Logic Perspective on Parsing.
Fuji International Symposium on Functional and Logic Programming
Rafael Caballero, Francisco Javier López-Fraguas
1999 — conf
Extensions: A Technique for Structuring Functional-Logic Programs.
Ershov Memorial Conference
Rafael Caballero, Francisco Javier López-Fraguas
1998 — conf
Parsing with Non-Deterministic Functions.
APPIA-GULP-PRODE
Rafael Caballero, Francisco Javier López-Fraguas