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