1 paper
Matthieu Laurent, Thierry Jéron, Martin Quinson
Assessing the correctness of distributed and parallel applications is notoriously difficult due to the complexity of the concurrent behaviors and the difficulty to reproduce bugs.…