基于可满足性模理论求解器的程序路径验证方法

基于可满足性模理论求解器的程序路径验证方法

任胜兵, 吴斌, 张健威, 王志健

Method of program path validation based on satisfiability modulo theory solver

REN Shengbing, WU Bin, ZHANG Jianwei, WANG Zhijian

计算机应用 . 2016, (10): 2806 -2810 . DOI: 10.11772/j.issn.1001-9081.2016.10.2806