Integrating DSGEO into test case generation for path coverage of MPI programs. - Sun, Baicai; Gong, Dunwei; Yao, Xiangjuan (Inf. Softw. Technol., 2023)