Two automated techniques for analyzing and debugging Mpi-based programs. - Alaa Ismail Elnashar; Sultan Aljahdali; Mosaid Al Sadhan (CoRR, 2013)