Formal Requirements Capturing using VRS system. - Alexander A. Letichevsky; Alexander Kolchin; Oleksandr Letychevskyy Jr.; Stepan Potiyenko; Vladislav A. Volkov; Thomas Weigert (WING@ETAPS/IJCAR, 2010)

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems). - Alexander Kolchin; Aleksandr A. Letichevsky; Stepan Potiyenko (UkrPROG, 2014)

A method for business logic extraction from legacy COBOL code of industrial systems. - Anton Guba; Olexander Kolchin; Stepan Potiyenko (UkrPROG, 2016)

Challenges for Automated, Model-Based Test Scenario Generation. - Alexander Kolchin; Stepan Potiyenko; Thomas Weigert (ICIST, 2019)

Generating Test Suites to Validate Legacy Systems. - Thomas Weigert; Alexander Kolchin; Stepan Potiyenko; Oleg Gurenko; Aswin van den Berg; Valentyn Banas; Roman Chetvertak; Roman Yagodka; Vlad Volkov (SAM, 2019)

Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation. - Alexander Kolchin; Stepan Potiyenko; Thomas Weigert (UkrPROG, 2020)

Extending data flow coverage with redefinition analysis. - Alexander Kolchin; Stepan Potiyenko; Thomas Weigert (IDT, 2021)

Extending Data Flow Coverage to Test Constraint Refinements. - Alexander Kolchin; Stepan Potiyenko (IFM, 2022)

Generation of Multipurpose Formal Models from Legacy Code. - Stepan Potiyenko; Alexander Kolchin (UkrPROG, 2022)

Increasing The Thoroughness Of Data Flow Testing With The Required k-Use Chains. - Oleksandr V. Kolchyn; Stepan V. Potiyenko (ICCTA, 2024)

Improving Model-Based Testing Through Interactive Validation, Evaluation and Reconstruction of Test Cases. - Oleksandr V. Kolchyn; Stepan Potiyenko (QUATIC, 2024)