Login / Signup
Automatic construction of an effective training set for prioritizing static analysis warnings.
Guangtai Liang
Ling Wu
Qian Wu
Qianxiang Wang
Tao Xie
Hong Mei
Published in:
ASE (2010)
Keyphrases
</>
automatic construction
static analysis
training set
dynamic analysis
source code
supervised learning
test set
artificial intelligence
training data
classification accuracy
abstract interpretation
database
symbolic execution
cd rom
third party
classification algorithm
cross validation
active learning
data sets