| Методы верификации программного обеспечения ВВ Кулямин М.: ИСП РАН, 2008 | 158 | 2008 |
| UniTesK Test Suite Architecture I Bourdonov, A Kossatchev, V Kuliamin, A Petrenko FME 2002: Formal Methods—Getting IT Right, 121-152, 2002 | 119 | 2002 |
| Подход UniTesK к разработке тестов ВВ Кулямин, АК Петренко, АС Косачев, ИБ Бурдонов Программирование 29 (6), 25-43, 2003 | 115* | 2003 |
| Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай ИБ Бурдонов, АС Косачев, ВВ Кулямин Программирование 29 (5), 59-69, 2003 | 84* | 2003 |
| Использование конечных автоматов для тестирования программ ИБ Бурдонов, АС Косачев, ВВ Кулямин Программирование 26 (2), 61-73, 2000 | 83* | 2000 |
| A survey of methods for constructing covering arrays VV Kuliamin, AA Petukhov Programming and Computer Software 37, 121-146, 2011 | 62 | 2011 |
| Теория соответствия для систем с блокировками и разрушением.« ИБ Бурдонов, АС Косачев, ВВ Кулямин М.: Физматлит, 2008.–412 с, 2008 | 60* | 2008 |
| Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай ИБ Бурдонов, АС Косачев, ВВ Кулямин Программирование 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 | 40 | 2003 |
| 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 | 36 | 2006 |
| Подход UniTesK к разработке тестов: достижения и перспективы ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ... Труды Института системного программирования РАН 5, 121-156, 2004 | 35 | 2004 |
| 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 | 34 | 2001 |
| Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры ВП Иванников, АС Камкин, АС Косачев, ВВ Кулямин, АК Петренко Программирование 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 | 27 | 2014 |
| 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 | 25 | 2007 |
| 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 | 25 | 2005 |
| 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 | 25 | 2003 |
| Standardization and testing of implementations of mathematical functions in floating point numbers VV Kuliamin Programming and Computer Software 33, 154-173, 2007 | 19 | 2007 |
| Standardization and testing of mathematical functions V Kuliamin International Andrei Ershov Memorial Conference on Perspectives of System …, 2009 | 17 | 2009 |
Alexander K. PetrenkoHead of Software Engineering Department ISPRAS, professor of MSU and NRU HSE在 ispras.ru 的电子邮件经过验证
