Sarvani S. Vakkalanka Michael Delisi Ganesh Gopalakrishnan Robert M. Kirby Scheduling considerations for building dynamic verification tools for MPI. 3 2008 PADTAD http://doi.acm.org/10.1145/1390841.1390844 conf/issta/2008p db/conf/issta/padtad2008.html#VakkalankaDGK08