Follow
Игорь Бурдонов
Игорь Бурдонов
Verified email at ispras.ru
Title
Cited by
Cited by
Year
Подход UniTesK к разработке тестов
ВВ Кулямин, АК Петренко, АС Косачев, ИБ Бурдонов
Программирование 29 (6), 25-43, 2003
852003
Операционные системы реального времени
ИБ Бурдонов, АС Косачев, ВН Пономаренко
М.: Институт системного программирования РАН, 2006
632006
Неизбыточные алгоритмы обхода ориентированных графов. Детерминизированный случай
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование 29 (5), 59-69, 2003
602003
Использование конечных автоматов для тестирования программ
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование 26 (2), 61-73, 2000
522000
Теория соответствия для систем с блокировками и разрушением.
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Наука, 2008
482008
Подход UniTesK к разработке тестов: достижения и перспективы
ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ...
Труды Института системного программирования РАН 5, 121-156, 2004
352004
Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование 30 (1), 2-17, 2004
342004
Формализация тестового эксперимента.
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование 33 (5), 3-32, 2007
292007
Обход неизвестного ориентированного графа конечным роботом
ИБ Бурдонов
Программирование 30 (4), 11-34, 2004
252004
Теория конформности для функционального тестирования программных систем на основе формальных моделей
ИБ Бурдонов
Диссертация на соискание учёной степени д. ф.-м. н., Москва, 2008
242008
Обзор подходов к верификации распределенных систем
ИБ Бурдонов, АС Косачев, ВН Пономаренко, ВЗ Шнитман
ИСП РАН, препринт 16, 2003
242003
Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом
ИБ Бурдонов
Программирование 30 (6), 6-29, 2004
212004
Полное тестирование с открытым состоянием ограниченно недетерминированных систем
АСК И.Б. Бурдонов
Программирование, 2009
202009
Асинхронные автоматы: классификация и тестирование
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Труды Института системного программирования РАН 4, 7-83, 2003
152003
Параллельные вычисления на графе
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование, 3-20, 2015
142015
Безопасность, верификация и теория конформности
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Материалы Второй международной научной конференции по проблемам безопасности…, 2007
142007
Формальные спецификации в технологиях обратной инженерии и верификации программ
ИБ Бурдонов, АВ Демаков, АС Косачев, АВ Максимов, АК Петренко
Труды Института системного программирования РАН 1, 39-54, 2000
142000
Параллельное тестирование больших автоматных моделей
ИБ Бурдонов, СГ Грошев, АВ Демаков, АС Камкин, АС Косачев, ...
Вестник Нижегородского университета им. НИ Лобачевского, 187-193, 2011
122011
Системы с приоритетами: конформность, тестирование, композиция
ИБ Бурдонов, АС Косачев
Программирование 35 (4), 24-40, 2009
112009
Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования
АС Косачев, ИБ Бурдонов
Вестник Томского государственного университета. Управление, вычислительная…, 2011
102011
The system can't perform the operation now. Try again later.
Articles 1–20