位置：成果数据库 > 会议 > 会议详情页
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates
  • 所属机构名称：西安电子科技大学
  • 会议名称：Proceedings of CSTVA 2011
  • 成果类型：会议
  • 相关项目：组合Web服务的建模与验证
作者： Shaoying Liu |Cong Tian |Shin Nakajima|
同会议论文项目
组合Web服务的建模与验证
期刊论文 43 会议论文 21 专利 2 著作 2
同项目会议论文
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems
Non-Functional Requirements Elicitation and Incorporation into Class Diagrams
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic
Alternating Interval Based Temporal Logics
A Model-driven Approach for Dynamic Web Service Composition
UML Statecharts' PTL Formal Semantics
A Model-driven Approach for Generating Business Processes and Process Interaction Semantics
A Proof System for Projection Temporal Logic
Verification of Use Case with Petri Nets in Requirement Analysis
Verification of Hardware Designs: A Case Study
Model Checking Multirate Hybrid System with Restricted Convex Polyhedron
Making Abstraction Refinement Efficient in Model Checking
A Semantic Model for Many-core Parallel Computing
A Transformation From PPTL to S1S
Generalized Russian Cards Problem
An Executable Concurrent Model for OWL-S Process Models
An Improved Decision Procedure for Propositional Projection Temporal Logics with Star
Specification and Verification of UML2.0 Sequence Diagrams using Event Deterministic Finite Automata
Public Communication Based on Russian Cards Protocol: A Case Study
ESHMP: A Stall-Timed-Based Scheduling for Performance Heterogenous Muticore Systems