COMPI: Concolic Testing for MPI Applications | IEEE Conference Publication | IEEE Xplore