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)

Usage of Invariants for Symbolic Verification of Requirements. - Alexander A. Letichevsky; Alexander Godlevsky; Anton Guba; Alexander Kolchin; Olexander A. Letychevskyi; Vladimir S. Peschanenko (SCSS, 2013)

An approach to creating concretized test scenarios within test automation technology for industrial software projects. - Alexander Kolchin; Alexander A. Letichevsky; Vladimir S. Peschanenko; Pavel D. Drobintsev; Vsevolod Kotlyarov (Autom. Control. Comput. Sci., 2013)

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (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)

Interactive method for cumulative analysis of software formal models behavior. - Alexander Kolchin (UkrPROG, 2018)

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)