Robert Palmer Ganesh Gopalakrishnan Robert M. Kirby Semantics driven dynamic partial-order reduction of MPI-based parallel programs. 43-53 2007 PADTAD http://doi.acm.org/10.1145/1273647.1273657 conf/issta/2007p db/conf/issta/padtad2007.html#PalmerGK07