位置:成果数据库 > 会议 > 会议详情页
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis
  • 所属机构名称:东南大学
  • 会议名称:IEEE High Assurance Systems Engineering Symposium, HASE 2011
  • 成果类型:会议
  • 相关项目:基于程序切片的软件测试优化技术
同会议论文项目
期刊论文 9 会议论文 10 专利 9
同项目会议论文