SMT-Based False Positive Elimination in Static Program Analysis.

Maximilian Junker Ralf Huuck Ansgar Fehnker Alexander Knapp

Published in: ICFEM (2012)

Keyphrases

false positives
false negative
detection rate
number of false positives
false positive rate
true positive
statistical machine translation
image sequences
low false positive rate
elimination algorithm
data mining
learning algorithm
computational complexity