C程序隐式规则自动提取与反例检测

禹振, 苏小红, 王甜甜, 马培军

Automatically Extracting Implicit Programming Rules and Detecting Violations from C Programs

YU Zhen, SU Xiao-hong, WANG Tian-tian, MA Pei-jun

电子学报 . 2013, (2): 248 -254 . DOI: 10.3969/j.issn.0372-2112.2013.02.007