Semantics driven dynamic partial-order reduction of MPI-based parallel programs.

Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby

Browse the full ISSTA paper archive.