能达性测试相关论文
Combination Reduction: A SYN-Sequence Selection Strategy for Reachability Testing of Concurrent Prog
测试的 Reachability 是严峻的并发的程序的一条途径,没有构造静态的模型,它能系统地行使每部分订的 SYN 顺序。事实上,不是都要测试......