Stepan Potiyenko

11 papers B 1Misc 1Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Model-based automated refurbishing of test input data. SANER-C Stepan Potiyenko, Oleksandr V. Kolchyn
2024	Misc	`conf`	Improving Model-Based Testing Through Interactive Validation, Evaluation and Reconstruction of Test Cases. QUATIC Oleksandr V. Kolchyn, Stepan Potiyenko
2022	B	`conf`	Extending Data Flow Coverage to Test Constraint Refinements. IFM Alexander Kolchin, Stepan Potiyenko
2022	—	`conf`	Generation of Multipurpose Formal Models from Legacy Code. UkrPROG Stepan Potiyenko, Alexander Kolchin
2021	—	`conf`	Extending data flow coverage with redefinition analysis. IDT Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
2020	—	`conf`	Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation. UkrPROG Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
2019	—	`conf`	Challenges for Automated, Model-Based Test Scenario Generation. ICIST Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
2019	—	`conf`	Generating Test Suites to Validate Legacy Systems. SAM Thomas Weigert, Alexander Kolchin, Stepan Potiyenko, Oleg Gurenko, Aswin van den Berg, Valentyn Banas, Roman Chetvertak, Roman Yagodka, Vlad Volkov
2016	—	`conf`	A method for business logic extraction from legacy COBOL code of industrial systems. UkrPROG Anton Guba, Olexander Kolchin, Stepan Potiyenko
2014	—	`conf`	Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems). UkrPROG Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko
2010	—	`conf`	Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert