Tools for system design of integrated modular avionics DV Buzdalov, SV Zelenov, EV Kornykhin, AK Petrenko, AV Strakh, ... Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014 | 59* | 2014 |
Подход UniTesK к разработке тестов: достижения и перспективы ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ... Труды Института системного программирования РАН 5, 121-156, 2004 | 42* | 2004 |
Генерация тестов для компиляторов и других текстовых процессоров СВ Зеленов, СА Зеленова, АС Косачев, АК Петренко Программирование 29 (2), 59-69, 2003 | 41* | 2003 |
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 |
Generation of positive and negative tests for parsers SV Zelenov, SA Zelenova Programming and Computer Software 31, 310-320, 2005 | 33* | 2005 |
Automated generation of positive and negative tests for parsers S Zelenov, S Zelenova Formal Approaches to Software Testing: 5th International Workshop, FATES …, 2006 | 24 | 2006 |
Application of model-based approach for automated testing of optimizing compilers AS Kossatchev, AK Petrenko, SV Zelenov, SA Zelenova Proceedings of the International Workshop on Program Understanding …, 2003 | 20 | 2003 |
Генерация тестовых данных сложной структуры с учетом контекстных ограничений АВ Демаков, СВ Зеленов, СА Зеленова Труды Института системного программирования РАН 9, 83-96, 2006 | 18* | 2006 |
Model-based testing of optimizing compilers S Zelenov, S Zelenova International Workshop on Formal Approaches to Software Testing, 365-377, 2007 | 17 | 2007 |
Анализ методов оценки надежности оборудования и систем. Практика применения методов НВ Пакулин, ЕМ Лаврищева, АГ Рыжов, СВ Зеленов Труды Института системного программирования РАН 30 (3), 99-120, 2018 | 16* | 2018 |
Automatic test generation for model-based code generators SV Zelenov, DV Silakov, AK Petrenko, M Conrad, I Fey Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 16 | 2006 |
Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа СВ Зеленов, СА Зеленова Труды Института системного программирования РАН 8 (1), 41-58, 2004 | 14* | 2004 |
Моделирование программно-аппаратных систем и анализ их безопасности СВ Зеленов, СА Зеленова Труды Института системного программирования РАН 29 (5), 257-282, 2017 | 12 | 2017 |
Тестирование парсеров текстов на формальных языках АВ Демаков, СА Зеленова, СВ Зеленов Программные системы и инструменты: Тематический сборник факультета ВМиК МГУ, 2001 | 12* | 2001 |
Analysis of methods for assessing the reliability of equipment and systems. Practice of methods EM Lavrischeva, NV Pakulin, AG Ryzhov, SV Zelenov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2018 | 9 | 2018 |
Stochastic methods for analysis of complex hardware-software systems AA Karnov, SV Zelenov Труды Института системного программирования РАН 29 (4), 191-202, 2017 | 8* | 2017 |
Использование абстрактных моделей для генерации тестовых данных сложной структуры АВ Демаков, СВ Зеленов, СА Зеленова Программирование 34 (6), 50-63, 2008 | 8* | 2008 |
Применение модельного подхода для автоматического тестирования оптимизирующих компиляторов СВ Зеленов, СА Зеленова, АС Косачев, АК Петренко CIT Forum, 2003 | 8 | 2003 |
Методы оценки надежности программных и технических систем ЕМ Лаврищева, СВ Зеленов, НВ Пакулин Труды Института системного программирования РАН 31 (5), 95-108, 2019 | 7 | 2019 |
Schedulability analysis for strictly periodic tasks in RTOS SA Zelenova, SV Zelenov Programming and Computer Software 44, 159-169, 2018 | 6 | 2018 |