Tools for supporting integrated technology of analysis and verification of specifications for telecommunication applications I Anureev, S Baranov, D Beloglazov, E Bodin, P Drobintsev, A Kolchin, ... SPIIRAN works 1, 28, 2013 | 35* | 2013 |
An approach to creating concretized test scenarios within test automation technology for industrial software projects A Kolchin, A Letichevsky, V Peschanenko, P Drobintsev, V Kotlyarov Automatic Control and Computer Sciences 7 (47), 433-442, 2013 | 18 | 2013 |
Генерация тестовых сценариев на основе формальной модели АА Летичевский, АВ Колчин Інститут програмних систем НАН України, 2010 | 17* | 2010 |
Автоматический метод динамического построения абстракций состояний формальной модели АВ Колчин Кибернетика и системный анализ, 70-90, 2010 | 16* | 2010 |
Разработка инструментальных средств для проверки формальных моделей АВ Колчин Інститут кибернетики НАН України, 2008 | 16* | 2008 |
Метод генерации тестовых сценариев в среде инсерционного моделирования АВ Колчин, ВП Котляров, ПД Дробинцев Управляющие системы и машины 69, 2012 | 14* | 2012 |
Overview of modern systems and verification methods of formal models AV Kolchin, AA Letichevsky, SV Potienko, VS Peschanenko Problems of Programming 4, 75-88, 2012 | 10* | 2012 |
Challenges for automated, model-based test scenario generation A Kolchin, S Potiyenko, T Weigert International Conference on Information and Software Technologies, 182-194, 2019 | 9 | 2019 |
Interactive method for cumulative analysis of software formal models behavior A Kolchin Проблеми програмування, 2018 | 9 | 2018 |
About an interactive method for cumulative analysis of software formal models behavior AV Kolchin Theoretical and applied aspects of program systems development, 40-44, 2017 | 9 | 2017 |
A Novel Algorithm for Attacking Path Explosion in Model-Based Test Generation for Data Flow Coverage A Kolchin 2018 IEEE First International Conference on System Analysis & Intelligent …, 2018 | 8 | 2018 |
Directed search in verification of formal models A Kolchin "Theory and Application of Software System Development" TAAPSD'2007, 256-258, 2007 | 7* | 2007 |
Generating Test Suites to Validate Legacy Systems T Weigert, A Kolchin, S Potiyenko, O Gurenko, A van den Berg, V Banas, ... International Conference on System Analysis and Modeling, 3-23, 2019 | 6 | 2019 |
A method for business logic extraction from legacy COBOL code of industrial systems AA Guba, AV Kolchin, SV Potiyenko PROBLEMS OF PROGRAMMING, 2018 | 6 | 2018 |
A method for reduction of analyzed behavior space during verification of formal models of distributed software systems AV Kolchin Artificial intelligence, 113-126, 2013 | 6* | 2013 |
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем АВ Колчин Інститут програмних систем НАН України, 2008 | 6 | 2008 |
Radchenko V., Potiyenko S., Volkov V. Tools For Requirements Capturing Based on the Technology of Basic Protocols S Baranov, J Kapitonova, A Letichevsky, A Kolchin, A Letichevsky Proc. of St. Petersburg IEEE Chapter, International Conference, May, 18-21, 2005 | 6* | 2005 |
Generating Test Suites to Validate Legacy Systems A van den Berg, V Banas, R Chetvertak, R Yagodka, V Volkov System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 …, 0 | 6* | |
Invariants in symbolic modeling and verification of requirements A Letichevsky, A Godlevsky, A Guba, A Kolchin, O Letychevskyi, ... Computer Science and Information Technologies (CSIT), 2013, 1-6, 2013 | 5 | 2013 |
A survey of systematic methods for code-based test data generation V Volkov Artificial intelligence 2, 71-85, 2017 | 4 | 2017 |