搜索筛选:
搜索耗时0.8187秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：陈冬火,刘全,
来源：计算机研究与发展 年份：2013
基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展．对于输入和输出为无界抽象数据类型的无限状态系统，利用传统模型检验技术难以有效地产生测......
相关搜索：
