位置：成果数据库 > 会议 > 会议详情页
Automatic Generation of Markov
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：会议
  • 相关项目：实时系统的软件可靠性测试与验证
作者： Jiong Yan, Ji Wang, Huowang Ch
同会议论文项目
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
同项目会议论文
Agent Oriented Programming bas
Runtime Verification of Java P
Towards a Framework for Scalab
Automatic Generation of Run-Ti
Verification of C Programs usi
Partial-Repeatability as a New
UML Based Statistical Testing
Modelling and Analysis of Powe
Automated WCET Analysis based
2/3 Alternating Simulation Bet
Configuration-Oriented Symboli
Stateful Dynamic Partial-Order
Towards a Control-Theoretical
Compatibility between shared v
A Contract-based Approach to S
An Overview of Software Cybern
Partition Testing with Dynamic
How to Test Software for Optim
Improve model checking efficie
Verifying Choreographic Descri
A Threshold Autoregressive Mod
Checking Interval Based Proper
Towards an Agent Oriented Prog
Improvements Towards Formalizi
Removing Irrelevant Atomic For
An Efficient Defect Estimation
Towards Formal Interfaces for
Scenario-Based Timing Consiste
A Dynamic Partitioning Approac
A Case Study for Invalidating
Scenario-Based Verification of
Scenario-based Component Behav
Consistency Checking of Concur
Deriving Software Statistical
Caste-Centric Agent-Oriented P
Deriving Available Behavior Al
Scenario-based Component Behav
Contract-based Formal Specific
Property-Oriented Test Generat
Scenario mechanism in agent-or
On the Test Case Definition of
Optimal and Adaptive Testing w
Checking Component-Based Embe
Generating Test Cases from UML
Verifying Compositional Design
An Interface Theory Based Appr
Chaotic Analysis of Software A
Interface Theory based Formali
Towards an Efficient Path-Orie
Property-Oriented Testing of R
Automatic Test Case Generation