index | Title |
1 | Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution Author(s):Wei-jiang Hong, Yi-jun Liu, Zhen-b... Clicked:6062 Download:3083 Cited:0 <Full Text> <PPT> 1656 Frontiers of Information Technology & Electronic Engineering 2020 Vol.21 No.9 P.1267-1284 DOI:10.1631/FITEE.1900213 |