Верификация компиляторов – систематический подход. by С.В. Зеленов, Н.В. Пакулин

Get full text

Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа.... by С.В. Зеленов, С.А. Зеленова

Get full text

Автоматическое определение выполнимости наборов формул для операций сравнения. by С.В. Зеленов, С.А. Зеленова

Get full text

Генератор сложных данных Pinery: реализация новых возможностей UniTESK by А.В. Демаков, С.В. Зеленов, С.А. Зеленова

Get full text

Генерация тестовых данных сложной структуры с учетом контекстных ограничений. by А.В. Демаков, С.В. Зеленов, С.А. Зеленова

Get full text