Hongbo Li, Sihuan Li, Zachary Benavides, Zizhong Chen, Rajiv Gupta 0001. COMPI: Concolic Testing for MPI Applications. In 2018 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2018, Vancouver, BC, Canada, May 21-25, 2018. pages 865-874, IEEE Computer Society, 2018. [doi]
Abstract is missing.