<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<inproceedings key="conf/hase/FuCZHDW15" mdate="2026-02-05">
<author orcid="0009-0007-4395-599X">Xianjin Fu</author>
<author>Zhenbang Chen</author>
<author>Yufeng Zhang 0001</author>
<author>Chun Huang 0006</author>
<author>Wei Dong 0006</author>
<author>Ji Wang 0001</author>
<title>MPISE: Symbolic Execution of MPI Programs.</title>
<pages>181-188</pages>
<year>2015</year>
<booktitle>HASE</booktitle>
<ee>https://doi.org/10.1109/HASE.2015.35</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/HASE.2015.35</ee>
<crossref>conf/hase/2015</crossref>
<url>db/conf/hase/hase2015.html#FuCZHDW15</url>
</inproceedings></dblp>
