1 paper · 1 filter
Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis +2
We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating…