位置：成果数据库 > 会议 > 会议详情页
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri-net Analyzer
  • 所属机构名称：南京大学
  • 会议名称：24th International Conference on Software Engineering & Knowledge Engineering (SEKE2012))
  • 时间：2012.7.1
  • 成果类型：会议
  • 相关项目：交织场景驱动的信息物理融合系统行为建模与测试技术研究
作者： Linzhang Wang| Xi Liu| Lei Bu| Jia|
同会议论文项目
交织场景驱动的信息物理融合系统行为建模与测试技术研究
期刊论文 10 会议论文 14
同项目会议论文
Steering Symbolic Execution to Less Traveled Paths
Automatic XACML Requests Generation for Testing Access Control Policies
Time-Leverage Point Detection for Time Sensitive Software Maintenance
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online
Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata.
Recovering Design Patterns to Support Program Comprehension
Supporting Automatic Code Review via Design
Simulating Software Behavior based on UML Activity Diagram
An Emperical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability
Time-Leverage Points Detection for Time Sensitive Software Maintenance
Dynamically validating static memory leak warnings
Leveraging design rules to improve software architecture recovery