Publicaciones en colaboración con investigadores/as de University of Münster (2)

2015

  1. Checking Java assertions using automated test-case generation

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

2002

  1. Declarative debugging for encapsulated search

    Electronic Notes in Theoretical Computer Science