Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования.


Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования.

Авторы

А.С.Косачев, Ф.Куттер, М.А.Посыпкин.

Издание

Программирование, №4, 2004, стр. 52-67.

Научная группа

Технологии программирования

Все публикации за 2004 год Все публикации