Publicaciones en las que colabora con ADRIÁN RIESCO RODRÍGUEZ (15)

2021

  1. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

2019

  1. A core Erlang semantics for declarative debugging

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

2018

  1. Declarative debugging of concurrent Erlang programs

    Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41

2017

  1. A survey of algorithmic debugging

    ACM Computing Surveys, Vol. 50, Núm. 4

2016

  1. Debugging meets testing in Erlang

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. A zoom-declarative debugger for sequential Erlang programs

    Science of Computer Programming, Vol. 110, pp. 104-118

2014

  1. EDD: A declarative debugger for sequential Erlang programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. A declarative debugger for sequential Erlang programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Declarative debugging of rewriting logic specifications

    Journal of Logic and Algebraic Programming

  2. Simplifying questions in maude declarative debugger by transforming proof trees

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. A Declarative Debugger for Maude Functional Modules

    Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 63-81

  2. Declarative debugging of rewriting logic specifications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008

  1. A declarative debugger for Maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. A declarative debugger for Maude functional modules

    Electronic Notes in Theoretical Computer Science

  3. Declarative debugging of membership equational logic specifications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)