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

反例引导的精化相关论文

抽象精化和可满足性结合的EFSM模型测试用例优化生成

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这......

期刊

测试用例约简扩展有穷状态机公式簇抽象反例引导的精化可满足性 test case reduction extended finite state ma

看过本文同时还关注