Semantic Reification: A New Paradigm for Random Program Generation

Enumerating Ill-Typed Programs for Testing Type Analyzers