反例制导的抽象精化相关硕士博士期刊学术论文 - 搜论网

反例制导的抽象精化相关论文

基于EFSM模型的测试用例优化生成及实例化

信息技术的飞速发展，使软件产品应用到社会的各个领域，软件产品的质量自然成为人们共同关注的焦点。软件测试在整个软件开发的过程中......

学位

扩展有穷状态机测试用例约简可满足性反例制导的抽象精化测试数据生成路径可行性分析

看过本文同时还关注