A buffer overflow benchmark for software model checkers.

Kelvin Ku Thomas E. Hart Marsha Chechik David Lie

Published in: ASE (2007)

Keyphrases

probability distribution
active learning
probabilistic model
software development
naive bayes
kalman filter