Generation of semantic analyzer tests

The paper addresses the problem of generating test cases for semantic checkers of compilers. While many works on formal specification of programming language semantics have proposed several powerful techniques, many challenges remain in applying them to realistic test generators. We present a novel approach to the formal specification of a programming language static semantics and show that our approach is suitable for test program generation.