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