位置：成果数据库 > 期刊 > 期刊详情页
Predictive Web Service Monitoring using Probabilistic Model Checking
  • ISSN号：1935-0090
  • 期刊名称：Applied Mathematics and Information Sciences
  • 时间：2013.2
  • 页码：139-148
  • 相关项目：基于模型的测试用例优化生成与自动执行
作者： Gao, Honghao|Miao, Huaikou|Zeng, Hongwei|
同期刊论文项目
基于模型的测试用例优化生成与自动执行
期刊论文 17 会议论文 31 著作 3
同项目期刊论文
Nondeterministic Probabilistic Petri Net-A New Method to Study Qualitative and Quantitative Behavior
An approach to test generation for web applications
基于Ajax技术的Web应用的建模与测试用例生成
基于CEGAR的Web应用验证
Research on the dynamic reconfiguration of Web application using two-phase compatibility verificatio
表格语言的分析比较
一个用于EFSM路径条件覆盖的测试数据生成方法
面向概率服务组合系统的需求描述
Web服务计算组合流程QoS验证
基于历史信息的自适应测试用例优先级技术
Eyou: An Electronic Map-Based Logistics Service System
Reduction of Model Checking-based Test Generation using Satisfiability
Formaldevelopment of self-separation protocol in free flight
抽象精化和可满足性结合的EFSM模型测试用例优化生成
基于犆犈犌犃犚的犠犲犫应用验证