待测相关路径覆盖相关硕士博士期刊学术论文

并发软件在软件行业中扮演了一个重要角色,可靠的软件质量需要全面的测试工作来保证。并发软件执行过程非常复杂,系统的状态数目巨......