| 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:8603 Download:5035 Cited:0 <Full Text> <PPT> 2246 Frontiers of Information Technology & Electronic Engineering 2020 Vol.21 No.9 P.1267-1284 DOI:10.1631/FITEE.1900213 |