SemaTESK

Архипова М.В.
"Автоматическая генерация тестов для семантических анализаторов трансляторов".
Диссертация на соискание ученой степени кандидата физико-математических наук.