Publications in collaboration with researchers from Monash University (4)

2019

  1. Optimal context-sensitive dynamic partial order reduction with observers

    ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

2017

  1. Context-sensitive dynamic partial order reduction

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

2013

  1. A CLP heap solver for test case generation

    Theory and Practice of Logic Programming