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

Ella Bounimova, Patrice Godefroid, David A. Molnar (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics