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

Ella Bounimova, Patrice Godefroid, David A. Molnar

Browse the full ICSE paper archive.