Hongbo Li, Zizhong Chen, Rajiv Gupta: Efficient concolic testing of MPI applications. CC 2019: 193-204