Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Valencia (5)

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

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)