%0 Journal Article
%A Cao, Weipeng
%A Xie, Zhongwu
%A Zhou, Xiaofei
%A Xu, Zhiwu
%A Zhou, Cong
%A Theodoropoulos, Georgios
%A Wang, Qiang

%D 2020
%J Journal on Artificial Intelligence

%@ 2579-003X
%V 2
%N 4
%P 177--187

%T A Learning Framework for Intelligent Selection of Software Verification  Algorithms
%M doi:10.32604/jai.2020.014829
%U http://www.techscience.com/jai/v2n4/41107