计算机工程与科学2018，Vol.40Issue(6)：1084-1092,9.DOI:10.3969/j.issn.1007-130X.2018.06.017
面向测试生成的ASM模型约简研究
ASM reduction for test generation
摘要
关键词
ASM模型/状态空间爆炸/模型约简/测试用例空间约减分类
信息技术与安全科学引用本文复制引用
杨羊,何柳柳,尚颖,李征..面向测试生成的ASM模型约简研究[J].计算机工程与科学,2018,40(6):1084-1092,9.基金项目
国家自然科学基金(61170082,61472025,61672085) （61170082,61472025,61672085）
教育部新世纪优秀人才计划项目(NCET-12-0757) （NCET-12-0757）
