Specification of concretization and symbolization policies in symbolic execution
Billions and billions of constraints: Whitebox fuzz testing in production