基于需求的断言自动生成技术

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于需求的断言自动生成技术

杨修涛,迟鹏,杜宇坤,徐林伟

Automatic Assertion Generation Technique Based on Demands

YANG Xiutao,CHI Peng,DU Yukun,XU Linwei

计算机工程 . 2016, (8): 28 -33 . DOI: 10.3969/j.issn.1000-3428.2016.08.006