Text this: Генерация тестов для модулей проверки статической семантики в компиляторах.