Efficient Generation of Test Cases for MPI Program Path Coverage through Elite Individual Selection - Wang, Yong; Cui, Wenzhong; Wang, Gaige; Wang, Jian; Gong, Dunwei (ACM transactions on software engineering and methodology, 2025)