random-program-generation

Introduces Semantic Reification, a new paradigm for random program generation, as detailed in this research paper.