Project

General

Profile

Documents

User documentation

SemaTESK Getting Started

01/14/2010 11:47 AM

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

Автоматическая генерация тестов для сем. анализаторов

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).