位置：成果数据库 > 会议 > 会议详情页
A Framework for Model Checking Web Service Compositions Based on BPEL4WS
  • 所属机构名称：清华大学
  • 会议名称：e-Business Engineering, 2007. ICEBE 2007. IEEE International Conference on
  • 成果类型：会议
  • 相关项目：面向服务在线协同软件测试技术研究
作者： Xiaoying Bai|Chongchong Zhao|Guilan Dai|
同会议论文项目
面向服务在线协同软件测试技术研究
期刊论文 14 会议论文 16
同项目会议论文
A hierarchical reliability model of service-based software system
Internetware computing: Issues and perspective
Adaptive Web Services Testing
Dynamic Reconfigurable Testing of Service-Oriented Architecture
A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S
DRESR: Dynamic Routing in Enterprise Service Bus
Ontology-based test modeling and partition testing of web services
Model-based monitoring and policy enforcement of services
Risk-based adaptive group testing of semantic web services
Collaborative Web Services Monitoring with Active Service Broker
Automatic Mutation Testing and Simulation on OWL-S Specified Web Services
Mutation-Based Simulation Test Data Generation for Testing Complex Real-Time Software
Ontology-Based Test Case Generation for Testing Web Services
Contract-Based Testing for Web Services
A framework for contract-based collaborative verification and validation of Web services