External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synchronization Error Detection of MPI Programs by Symbolic Execution

Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang. Synchronization Error Detection of MPI Programs by Symbolic Execution. In Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon, editors, 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers. pages 127-134, IEEE, 2014. [doi]

Authors

Xianjin Fu

This author has not been identified. Look up 'Xianjin Fu' in Google

Zhenbang Chen

This author has not been identified. Look up 'Zhenbang Chen' in Google

Chun Huang

This author has not been identified. Look up 'Chun Huang' in Google

Wei Dong

This author has not been identified. Look up 'Wei Dong' in Google

Ji Wang

This author has not been identified. Look up 'Ji Wang' in Google
runs on