Victor Kuliamin

Victor Kuliamin

Institute for System Programming Russian Academy of Sciences - Moscow / Russia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4409623
Институт системного программирования Российской академии наук
person_outline Victor Kuliamin's MOST POPULAR ARTICLES
1-) Методы верификации программного обеспечения М.: ИСП РАН, 2008
2-) UniTesK Test Suite Architecture FME 2002: Formal Methods—Getting IT Right, 121-152, 2002
3-) Подход UniTesK к разработке тестов Программирование 29 (6), 25-43, 2003
4-) Использование конечных автоматов для тестирования программ Программирование 26 (2), 61-73, 2000
5-) Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай Программирование 29 (5), 59-69, 2003