位置：成果数据库 > 期刊 > 期刊详情页
An approach to extract SMV model from C programs
  • ISSN号：1975-9339
  • 期刊名称：International Journal of Digital Content Technolog
  • 时间：2012
  • 页码：169-177
  • 相关项目：基于模型检验的测试用例生成方法研究
作者： Kunliang Han| Qingguo Xu| Xia Yin|
同期刊论文项目
基于模型检验的测试用例生成方法研究
期刊论文 22 会议论文 20
同项目期刊论文
用模型检验产生约简测试集
基于FSM的测试理论、方法及评估
基于模型的Web应用测试
用模型检验产生安全性质的测试
WEB应用测试执行引擎的设计与实现
优化基于模型检验的测试生成
Nondeterministic Probabilistic Petri Net—A New Method to Study Qualitative and Quantitative Behavior
构件组合的集成测试
LTL Model Checking Probabilistic Petri Net System
确定性有限状态机的最小测试成本迁移覆盖准则
Object-Z规格说明测试用例的自动生成器
基于犆犈犌犃犚的犠犲犫应用验证
GUI回归测试的测试脚本修复技术研究
一种基于特征迁移系统的软件产品线测试方法
Testing web applications with web frameset and browser interactions
An Approach to Constructing User-constrained Trustworthy Service Flow
一种Web应用测试生成与约简方法