Обобщённые семантики тестового взаимодействия

by И.Б. Бурдонов, А.С. Косачев
Published 2008-01-01

Полное тестирование с открытым состоянием ограниченно недетерминированных систем

by И.Б. Бурдонов, А.С. Косачев
Published 2009-01-01

Полное тестирование с открытым состоянием ограниченно недетерминированных систем

by И.Б. Бурдонов, А.С. Косачев
Published 2009-01-01

Эквивалентные семантики взаимодействия.

by И.Б. Бурдонов, А.С. Косачев
Published 2008-01-01

Системы с приоритетами: конформность, тестирование, композиция.

by И.Б. Бурдонов, А.С. Косачев
Published 2008-01-01

Асинхронные автоматы: классификация и тестирование.

by И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин
Published 2004-01-01

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

by А.Я. Калинов, А.С. Косачёв, М.А. Посыпкин, А.А. Соколов
Published 2004-01-01

Формальные спецификации в технологиях обратной инженерии и верификации программ.

by И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко
Published 2000-01-01

Применение формальных методов для тестирования реализации IPv6.

by Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман
Published 2004-01-01

Подход UniTesK к разработке тестов: достижения и перспективы.

by A.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов.
Published 2004-01-01