Specification of concretization and symbolization policies in symbolic execution
Symbolic execution and program testing