Billions and billions of constraints: whitebox fuzz testing in production.

Ella Bounimova Patrice Godefroid David A. Molnar

Published in: ICSE (2013)

Keyphrases

linear constraints
multiscale
constraint satisfaction
constrained optimization
real time
data mining
machine learning
information retrieval
case study
multi agent