位置：成果数据库 > 会议 > 会议详情页
<span style="line-height: 110%; font-family:;" calibri","sans-serif";fon
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014)
  • 时间：2014
  • 成果类型：会议
  • 相关项目：基于测试用例多样性的并发软件适应性测试方法研究
作者： Yi Lv|Luming Sun|Xiaochun Ye|Dongrui Fan|Peng Wu|
同会议论文项目
基于测试用例多样性的并发软件适应性测试方法研究
期刊论文 2 会议论文 1
同项目会议论文