Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
Hong, Wei-jiang, Liu, Yi-jun, Chen, Zhen-bang, Dong, Wei, Wang, JiJournal:
Frontiers of Information Technology & Electronic Engineering
DOI:
10.1631/fitee.1900213
Date:
June, 2020
File:
PDF, 1.34 MB
2020