Follow
Victor Kuliamin
Victor Kuliamin
Verified email at ispras.ru
Title
Cited by
Cited by
Year
Методы верификации программного обеспечения
ВВ Кулямин
М.: ИСП РАН, 2008
1562008
UniTesK Test Suite Architecture
I Bourdonov, A Kossatchev, V Kuliamin, A Petrenko
FME 2002: Formal Methods—Getting IT Right, 121-152, 2002
1192002
Подход UniTesK к разработке тестов
ВВ Кулямин, АК Петренко, АС Косачев, ИБ Бурдонов
Программирование 29 (6), 25-43, 2003
113*2003
Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование 29 (5), 59-69, 2003
84*2003
Использование конечных автоматов для тестирования программ
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование 26 (2), 61-73, 2000
83*2000
Теория соответствия для систем с блокировками и разрушением.«
ИБ Бурдонов, АС Косачев, ВВ Кулямин
М.: Физматлит, 2008.–412 с, 2008
61*2008
A survey of methods for constructing covering arrays
VV Kuliamin, AA Petukhov
Programming and Computer Software 37, 121-146, 2011
592011
Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование 30 (1), 2-17, 2004
54*2004
Формализация тестового эксперимента.«
ИБ Бурдонов, АС Косачев, ВВ Кулямин
Программирование 33 (5), 3-32, 2007
45*2007
Integration of functional and timed testing of real-time and concurrent systems
VV Kuliamin, AK Petrenko, NV Pakoulin, AS Kossatchev, IB Bourdonov
Perspectives of System Informatics: 5th International Andrei Ershov Memorial …, 2003
402003
Formal conformance testing of systems with refused inputs and forbidden actions
IB Bourdonov, AS Kossatchev, VV Kuliamin
Electronic Notes in Theoretical Computer Science 164 (4), 83-96, 2006
362006
Подход UniTesK к разработке тестов: достижения и перспективы
ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ...
Труды Института системного программирования РАН 5, 121-156, 2004
352004
Java specification extension for automated test development
IB Bourdonov, AV Demakov, AA Jarov, AS Kossatchev, VV Kuliamin, ...
Perspectives of System Informatics: 4th International Andrei Ershov Memorial …, 2001
342001
Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры
ВП Иванников, АС Камкин, АС Косачев, ВВ Кулямин, АК Петренко
Программирование 33 (5), 47-61, 2007
30*2007
Formal verification of OS security model with Alloy and Event-B
PN Devyanin, AV Khoroshilov, VV Kuliamin, AK Petrenko, IV Shchepetkov
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014
272014
UniTesK: Model based testing in industrial practice
VV Kuliamin, AK Petrenko, AS Kossatchev, IB Bourdonov
1st European Conference on Model Driven Software Engineering, 55-63, 2003
252003
Formal methods in industrial software standards enforcement
A Grinevich, A Khoroshilov, V Kuliamin, D Markovtsev, A Petrenko, ...
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
242007
Practical approach to specification and conformance testing of distributed network applications
VV Kuliamin, NV Pakoulin, AK Petrenko
Service Availability: Second International Service Availability Symposium …, 2005
242005
Standardization and testing of implementations of mathematical functions in floating point numbers
VV Kuliamin
Programming and Computer Software 33, 154-173, 2007
182007
Standardization and testing of mathematical functions
V Kuliamin
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
172009
The system can't perform the operation now. Try again later.
Articles 1–20