Baicai Sun, Jinxin Wang, Dunwei Gong, Tian Tian: Scheduling sequence selection for generating test data to cover paths of MPI programs. Inf. Softw. Technol. 114: 190-203 (2019)