Alexander Kolchin

11 papers B 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
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
2018 — conf
Interactive method for cumulative analysis of software formal models behavior.
UkrPROG
Alexander Kolchin
2014 — conf
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems).
UkrPROG
Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko
2013 J jnl
An approach to creating concretized test scenarios within test automation technology for industrial software projects.
Autom. Control. Comput. Sci.
Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov
2013 — conf
Usage of Invariants for Symbolic Verification of Requirements.
SCSS
Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko
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