Semantic Reification: A new paradigm for random program generation

Validating JIT Compilers via Compilation Space Exploration