位置：成果数据库 > 会议 > 会议详情页
HybridUML Based Verification of CPS Using Differential Dynamic Logic
  • 所属机构名称：东南大学
  • 会议名称：SEKE 2012
  • 成果类型：会议
  • 相关项目：Web服务组合建模和验证技术研究
作者： Min Zhu|Bixin Li|Shunhui Ji|
同会议论文项目
Web服务组合建模和验证技术研究
期刊论文 26 会议论文 33 专利 16 著作 1
同项目会议论文
一种基于并发的BPEL控制流模型的分析及验证
Using Lattice of Class and Method Dependence for Change Impact Analysis of Object Oriented Programs
An Effective Approach for Automatic Generation of Class Integration Test Order
A Change Proposal Driven Approach for Changeability Assessment Using Formal Concept Analysis
Using formal concept analysis to support change analysis
Regression Testing of Component-based Software - A Systematic Practise Based on State Testing
A Staged Model for Web Service Reliability
Mining Call Graph for Change Impact Analysis
A Web Service Reliability Model Based on Birth-death Process
A Unified Framework for Modeling and Verifying Cyber Physical Systems
Multithreaded Pointer Analysis Based on Petri Net
A Technique of Profiling Selective Paths
A Brief Survey on Automatic Integration Test Order Generation
Program Slicing Spectrum-based Software Fault Localization
An Approach to Regression Test Selection Based on Hierarchical Slicing Technique
Trust-based Service Composition and Optimization
A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs
Using Coupling Measure Technique and Random Iterative Algorithm for Inter-class Integration Test Ord
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic
A Technology of Profiling Inter-proccdural Paths
Ontology-based Reliability Evaluation for Web Service
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability
A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification
An Optimization Strategy for Evolutionary Testing Based on Cataclysm
Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-time Inform
A Trust Impact Analysis Model for Composite Service Evolution
A Model-based Approach to Regression Testing of Component-based Software
Automatic Test Case Selection and Generation for Regression Testing of Composite Service Based on Ex
A Preference and Honesty Aware Trust Model for Web Services
Change Impact Analysis Based on a Taxonomy of Change Types
基于变异思想测试OWL-S工作流
Using FCA-based Change Impact Analysis for Regression Testing