SemaTESK

Пример использования инструмента SemaTesK, предназначенного для автоматической генерации семантических тестов на целевом языке.

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

M.V. Arkhipova, S.V. Zelenov.
"Directed Generation of Test Data for Static Semantics Checker".

The paper describes the model-based approach to directed automated generation
of test data for static semantics checker (ISP RAS, Russia).