Content
Outline
Frontiers of Information Technology & Electronic Engineering >> 2020, Volume 21, Issue 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
Abstract
Content