%0 Conference Paper %1 conf/apsec/FuCHDW14 %A Fu, Xianjin %A Chen, Zhenbang %A Huang, Chun %A Dong, Wei %A Wang, Ji %B APSEC (1) %D 2014 %E Cha, Sungdeok (Steve) %E Guéhéneuc, Yann-Gaël %E Kwon, Gihwon %I IEEE Computer Society %K dblp %P 127-134 %T Synchronization Error Detection of MPI Programs by Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#FuCHDW14 %@ 978-1-4799-7425-2

@inproceedings{conf/apsec/FuCHDW14, added-at = {2023-09-30T00:00:00.000+0200}, author = {Fu, Xianjin and Chen, Zhenbang and Huang, Chun and Dong, Wei and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/20aa4395f21491053bcc8237e376734ed/dblp}, booktitle = {APSEC (1)}, crossref = {conf/apsec/2014-1}, editor = {Cha, Sungdeok (Steve) and Guéhéneuc, Yann-Gaël and Kwon, Gihwon}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2014.28}, interhash = {d828c56cf3b6113711297e8f5e389570}, intrahash = {0aa4395f21491053bcc8237e376734ed}, isbn = {978-1-4799-7425-2}, keywords = {dblp}, pages = {127-134}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:08:34.000+0200}, title = {Synchronization Error Detection of MPI Programs by Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#FuCHDW14}, year = 2014 }