Cited By
View all- Tian TWang AYang XGong DHou TYao X(2024)Parallel program testing based on critical communication and branch transformationThe Journal of Supercomputing10.1007/s11227-023-05460-480:1(519-548)Online publication date: 1-Jan-2024
- Gong DSun BYao XTian T(2021)Test Data Generation for Path Coverage of MPI Programs Using SAEOACM Transactions on Software Engineering and Methodology10.1145/342313230:2(1-37)Online publication date: 3-Jan-2021