Stepan Potiyenko

According to our database, Stepan Potiyenko authored at least 9 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Generation of Multipurpose Formal Models from Legacy Code.

Stepan Potiyenko, Alexander Kolchin

Proceedings of the 13th International Scientific and Practical Programming Conference, 2022

Extending Data Flow Coverage to Test Constraint Refinements.

Alexander Kolchin, Stepan Potiyenko

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Extending data flow coverage with redefinition analysis.

Alexander Kolchin, Stepan Potiyenko, Thomas Weigert

Proceedings of the International Conference on Information and Digital Technologies, 2021

2020

Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation.

Alexander Kolchin, Stepan Potiyenko, Thomas Weigert

Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), 2020

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

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Challenges for Automated, Model-Based Test Scenario Generation.

Alexander Kolchin, Stepan Potiyenko, Thomas Weigert

Proceedings of the Information and Software Technologies - 25th International Conference, 2019

2016

A method for business logic extraction from legacy COBOL code of industrial systems.

Anton Guba, Olexander Kolchin, Stepan Potiyenko

Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, 2016

2014

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems).

Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko

Proceedings of the 9th International Conference of Programming, Kyiv, 2014

2010

Formal Requirements Capturing using VRS system.

Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert

Proceedings of the Second International Workshop on Invariant Generation, 2010