Author Login Editor-in-Chief Peer Review Editor Work Office Work
Automatic Assertion Generation Technique Based on Demands
YANG Xiutao,CHI Peng,DU Yukun,XU Linwei
Computer Engineering . 2016, (8): 28 -33 .  DOI: 10.3969/j.issn.1000-3428.2016.08.006