Alexander Kolchin

According to our database, Alexander Kolchin authored at least 11 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• 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

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