正文
大纲
《信息与电子工程前沿(英文)》 >> 2020年 第21卷 第9期 doi: 10.1631/FITEE.1900213
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
Affiliation(s): 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; less
摘要
正文