Symbolic Execution of MPI Programs with One-Sided Communications.

Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang

Browse the full APSEC paper archive.