用例集约减技术相关硕士博士期刊学术论文

可达性测试是并发程序测试的一种重要方法，具有在给定输入下生成并执行所有可行同步序列且无需记录任何历史信息等诸多优势。并发程......