Alexander Kolchin

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 7

Top Topics

Mutation Testing

Top Venues

Autom. Control. Comput. Sci.

Publications

Stepan Potiyenko, Alexander Kolchin
Generation of Multipurpose Formal Models from Legacy Code. UkrPROG (2022)
Alexander Kolchin, Stepan Potiyenko
Extending Data Flow Coverage to Test Constraint Refinements. IFM (2022)
Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
Extending data flow coverage with redefinition analysis. IDT (2021)
Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation. UkrPROG (2020)
Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
Challenges for Automated, Model-Based Test Scenario Generation. ICIST (2019)
Thomas Weigert, Alexander Kolchin, Stepan Potiyenko, Oleg Gurenko, Aswin van den Berg, Valentyn Banas, Roman Chetvertak, Roman Yagodka, Vlad Volkov
Generating Test Suites to Validate Legacy Systems. SAM (2019)
Alexander Kolchin
Interactive method for cumulative analysis of software formal models behavior. UkrPROG (2018)
Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems). UkrPROG (2014)
Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko
Usage of Invariants for Symbolic Verification of Requirements. SCSS (2013)
Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov
An approach to creating concretized test scenarios within test automation technology for industrial software projects. Autom. Control. Comput. Sci. 47 (7) (2013)
Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert
Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR (2010)