Oleksandr V. Kolchyn

According to our database, Oleksandr V. Kolchyn authored at least 14 papers between 2010 and 2025.

Collaborative distances:

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

2025

Model-based automated refurbishing of test input data.

Stepan Potiyenko, Oleksandr V. Kolchyn

Proceedings of the IEEE International Conference on Software Analysis, 2025

2024

Improving Model-Based Testing Through Interactive Validation, Evaluation and Reconstruction of Test Cases.

Oleksandr V. Kolchyn, Stepan Potiyenko

Proceedings of the Quality of Information and Communications Technology, 2024

Increasing The Thoroughness Of Data Flow Testing With The Required k-Use Chains.

Oleksandr V. Kolchyn, Stepan V. Potiyenko

Proceedings of the 2024 10th International Conference on Computer Technology Applications, 2024

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

2018

Interactive method for cumulative analysis of software formal models behavior.

Alexander Kolchin

Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, 2018

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

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

Usage of Invariants for Symbolic Verification of Requirements.

Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

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