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