Author Info
Name
Affiliation
Papers
WEI-JIANG HONG
Natl Univ Defense Technol, Coll Comp, Changsha 410073, Peoples R China
1
Collaborators
Citations 
PageRank 
4
0
0.34
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution00.342020