Properties of a predicate transformer of the VRS system AA Letichevsky, AB Godlevsky, AA Letychevsky, SV Potiyenko, ... Cybernetics and Systems Analysis 46, 521-532, 2010 | 41* | 2010 |
Tools of integrated technology for analysis and verification of telecom application specs IS Anureev, SN Baranov, DM Beloglazov, EV Bodin, PD Drobintsev, ... Informatics and Automation 26, 349-383, 2013 | 15* | 2013 |
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 | 13 | 2013 |
Challenges for automated, model-based test scenario generation A Kolchin, S Potiyenko, T Weigert Information and Software Technologies: 25th International Conference, ICIST …, 2019 | 9 | 2019 |
Backward transformation of formulas in symbolic modeling: from the result to the source formula AB Godlevsky, SV Potienko Problems of Programming 4, 363-368, 2010 | 7 | 2010 |
Generating test suites to validate legacy systems T Weigert, A Kolchin, S Potiyenko, O Gurenko, A van den Berg, V Banas, ... System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 …, 2019 | 6 | 2019 |
A method for business logic extraction from legacy COBOL code of industrial systems AA Guba, AV Kolchin, SV Potiyenko PROBLEMS IN PROGRAMMING, 17-25, 2016 | 6 | 2016 |
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 | 5 | 2012 |
Обзор современных систем и методов верификации формальных моделей АВ Колчин, АА Летичевский, СВ Потиенко, ВС Песчаненко Проблеми програмування, 2012 | 5 | 2012 |
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами СВ Потиенко Інститут програмних систем НАН України, 2008 | 4 | 2008 |
Статическая проверка требований и подходы к решению проблемы достижимости СВ Потиенко Інститут проблем штучного інтелекту МОН України та НАН України, 2009 | 3 | 2009 |
Extending data flow coverage to test constraint refinements A Kolchin, S Potiyenko International Conference on Integrated Formal Methods, 313-321, 2022 | 2 | 2022 |
Extending data flow coverage with redefinition analysis A Kolchin, S Potiyenko, T Weigert 2021 International Conference on Information and Digital Technologies (IDT …, 2021 | 2 | 2021 |
Formal Requirements Capturing using VRS system. AA Letichevsky, A Kolchin, O Letychevskyy Jr, S Potiyenko, VA Volkov, ... WING@ ETAPS/IJCAR, 148-149, 2010 | 2 | 2010 |
Методы прямого и обратного моделирования систем, заданных базовыми протоколами СВ Потиенко Проблеми програмування, 2008 | 2 | 2008 |
Трансляция MSC сценариев в язык базовых протоколов СВ Потиенко, АВ Колчин Искусственный интеллект 3, 428-435, 2007 | 2 | 2007 |
Представление SDL-спецификаций в виде базовых протоколов СВ Потиенко, АВ Колчин Искусственный интеллект 4, 42-52, 2006 | 2 | 2006 |
Efficient increasing of the mutation score during model-based test suite generation A Kolchin, S Potiyenko, T Weigert PROBLEMS IN PROGRAMMING, 331-340, 2020 | 1 | 2020 |
A weight-based approach for enhancing of the quality of automatically generated test scenarios for software systems A Kolchin, S Potiyenko Ministry of Education and Science of Ukraine National Aviation University …, 2019 | 1 | 2019 |
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем АВ Колчин, АА Летичевский, СВ Потиенко Штучний інтелект, 2015 | 1 | 2015 |