Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.

Dirk Beyer Matthias Dangl

Published in: ISoLA (2) (2018)

Keyphrases

feature vectors
feature set
rich set
selection strategies
genetic algorithm
information systems
object recognition
real valued
benchmark datasets
selection scheme
real time
spatial information
false positives
co occurrence
support vector machine
low level
decision trees
computer vision