Poster: Symbolic Execution of MPI Programs.

Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang

Browse the full ICSE paper archive.