位置：成果数据库 > 会议 > 会议详情页
Probabilistic timed model checking for atomic Web service
  • 所属机构名称：上海大学
  • 会议名称：2011 IEEE World Congress on Services, SERVICES 2011
  • 成果类型：会议
  • 相关项目：可信网络软件的形式验证
作者： Gao, Honghao|Miao, Huaikou|Chen, Shengbo|Mei, Jia|
同会议论文项目
可信网络软件的形式验证
期刊论文 32 会议论文 22 专利 1 著作 1
同项目会议论文
A new approach to generating high quality test cases
Towards practical modeling of web applications and generating tests
Axiomatic assessment of FSM-based test adequacy criteria for web application
Quantitative verification of navigation model for reliable Web applications
Ant colony optimization based service flow scheduling with various QoS requirements in cloud computi
Model Partition-Based Testing for Web Applications
Incremental Development of a Protocol for Free Flight
Applying Bounded Model Checking to Verifying Web Navigation Model
Probabilistic petri net and its logical semantics
Logical Representation of the Timed Automata in PVS
An Approach to Modeling and Verifying Router-Based Network
Test generation for web applications using model-checking
Deadlock Detection for Parallel Composition of Components
An improved algorithm for building the characterizing set
The Application of Moodle in Computer English Teaching
AGT4W: Automatic generating tests for web applications
Test Suite Reduction Using Weighted Set Covering Techniques
Modeling and verifying for frameset-based web applications
QoS-aware web services composition based on HQPSO algorithm
Modeling and verifying web service applications with time constraints
Research on web service composition using probabilistic abstraction refinement