Open Science Harvester of NAS of Ukraine

Efficient increasing of the mutation score during model-based test suite generation

by A. Kolchin, S. Potienko, T. Weigert
Published 2020

Efficient increasing of the mutation score during model-based test suite generation

by Kolchin, A., Potienko, S., Weigert, T.
Published in Проблеми програмування (2020)

Interactive method for automated test suit development for formal models of software systems

by A. V. Kolchin, S. V. Potienko
Published 2018

A method of test data generation from source code of Java programs

by A. V. Kolchin, S. V. Potienko
Published 2016

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

by A. A. Guba, A. V. Kolchin, S. V. Potienko
Published 2016

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems

by A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
Published 2015

A survey of systematic methods for code-based test data generation

by V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
Published 2017