Informática
Fakultatea
University of Münster
Münster, AlemaniaUniversity of Münster-ko ikertzaileekin lankidetzan egindako argitalpenak (4)
2023
2015
-
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
-
Declarative debugging for encapsulated search
Electronic Notes in Theoretical Computer Science