Parallel program testing based on critical communication and branch transformation. - Tian Tian 010; Anshi Wang; Xiuting Yang; Dunwei Gong; Tie Hou; Xiangjuan Yao (J. Supercomput., 2024)