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