Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution

著录项

• 来源
  《浙江大学学报（英文版）（C辑：计算机与电子）》 |2020年第9期|1267-1284|共18页
• 作者

  Wei-jiang HONG; Yi-jun LIU; Zhen-bang CHEN; Wei DONG; Ji WANG;

  展开▼
• 作者单位

  College of Computer National University of Defense Technology Changsha 410073 China;

  State Key Laboratory of High Performance Computing National University of Defense Technology Changsha 410073 China;

  College of Computer National University of Defense Technology Changsha 410073 China;

  College of Computer National University of Defense Technology Changsha 410073 China;

  College of Computer National University of Defense Technology Changsha 410073 China;

  College of Computer National University of Defense Technology Changsha 410073 China;

  State Key Laboratory of High Performance Computing National University of Defense Technology Changsha 410073 China;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类 软件工程;
• 关键词