针对并行软件待测行为测试的模型化简方法

针对并行软件待测行为测试的模型化简方法

张玮, 孙涛, 万晓云

Simplification method for testing behavior of parallel software

ZHANG Wei, SUN Tao, WAN Xiaoyun

计算机应用 . 2017, (5): 1276 -1281 . DOI: 10.11772/j.issn.1001-9081.2017.05.1276