Billions and billions of constraints: Whitebox fuzz testing in production | IEEE Conference Publication | IEEE Xplore