611 citations · 828 across the 21 of their papers we have counts for
1 paper · 1 filter
Daniel Schemmel, Julian Büning, César Rodríguez +2
We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosio…