TY - RPRT TI - Two automated techniques for analyzing and debugging Mpi-based programs AU - Alaa Ismail Elnashar AU - Sultan Aljahdali AU - Mosaid Al Sadhan PY - 2013 UR - https://arxiv.org/abs/1311.0864 ID - 1311.0864 ER -