位置：成果数据库 > 会议 > 会议详情页
Specification-based Test Generation and Optimization Using Model Checking
  • 所属机构名称：华东师范大学
  • 会议名称：2007 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE)
  • 成果类型：会议
  • 会场：上海
  • 相关项目：模型驱动架构中模型构造与集成方法的研究
作者： Hongwei Zeng|刘静|Huaikou Miao|
同会议论文项目
模型驱动架构中模型构造与集成方法的研究
期刊论文 9 会议论文 17 专利 2
同项目会议论文
Harnessing rCOS for Tool Support - The CoCoME Experience
Methods and Tools for Formal Software Engineering
Integrating Theories and Techniques for Program Modeling, Design and Verification
The Validation and Veri?cation of WSCDL
Formal Analysis of Services Compatibility
Design and Verification of a Trustable Medical System
A Component-Based Access Control Monitor
The rCOS tool
The rCOS Method in a Nutshell
Designing, Modeling and Verifying a Container Terminal System Using UPPAAL
Validating Requirements Model of a B2B System
A Rigorous Model of Contract-based Service Component Architecture
Model Checking Service Component Composition By SPIN
Measuring the Survivability of Object-Oriented Software
Towards the Verification of Services Collaboration
Probabilistic Coordination Language for Component Dynamic Composition