TY  - RPRT
TI  - MPISE: Symbolic Execution of MPI Programs
AU  - Xianjin Fu
AU  - Zhenbang Chen
AU  - Yufeng Zhang
AU  - Chun Huang
AU  - Wei Dong
AU  - Ji Wang
PY  - 2014
UR  - https://arxiv.org/abs/1403.4813
ID  - 1403.4813
ER  -