New document
Documents
Alexey Demakov
SemaTESK Getting Started
01/14/2010 11:47 AM
Пример использования инструмента SemaTesK, предназначенного для автоматической генерации семантических тестов на целевом языке.
Sergey Zelenov
Автоматическая генерация тестов для сем. анализаторов
03/29/2010 12:49 PM
Архипова М.В.
"Автоматическая генерация тестов для семантических анализаторов трансляторов".
Диссертация на соискание ученой степени кандидата физико-математических наук.
Directed Generation of Test Data for Static Sem. Checker
03/29/2010 01:03 PM
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).