位置：成果数据库 > 会议 > 会议详情页
Regression test cases generation based on automatic model revision
  • 所属机构名称：南京大学
  • 会议名称：IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
  • 时间：2012
  • 成果类型：会议
  • 相关项目：混成系统模型检验应用技术研究
作者： Ye, Nan1|Chen, Xin1|Ding, Wenxu1|Jiang, Peng1|Bu, Lei1|Li, Xu|ong1|
同会议论文项目
混成系统模型检验应用技术研究
期刊论文 6 会议论文 8 著作 1
同项目会议论文
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification
Path-oriented test data generation driven by component linear fitting functions
Poster abstract: Numerical analysis of WSN protocol using probabilistic timed automata
Demo abstract: BACHOL - Modeling and verification of cyber-physical systems online
Forward and Backward : Bounded Model Checking of Linear Hybrid Automata From Two Directions
IIS-guided DFS for efficient bounded reachability analysis of linear hybrid automata
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approa