中国科学院机构知识库网格系统: 检索

中国科学院机构知识库网格

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

内容类型

发表日期

学科主题

筛选

浏览/检索结果: 共3条，第1-3条

帮助

条数/页：排序方式：
	efficient loop-extended model checking of data structure methods 会议论文 OAI收割 Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Jeju Island, Korea, Republic of, FGIT 2011 Yi Qiuping; Liu Jian; Shen Wuwei \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2013/10/08 Model Checking – Loop Extended – Symbolic Execution
	an automatic testing approach for compiler based on metamorphic testing technique 会议论文 OAI收割 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850 Tao Qiuming; Wu Wei; Zhao Chen; Shen Wuwei \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/31 Automation Errors Fault detection Program compilers Semantics Software design Testing
	supporting flexible reification of design patterns 会议论文 OAI收割 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850 Shen Wuwei; Kim Dae-Kyoo; Liu Jian; Zhao Chen \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/03/31 Computer software Model checking