Open Science Harvester of NAS of Ukraine

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

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

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)

Satisfiability For Symbolic Verification in VRS

by A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko
Published 2013

Satisfiability For Symbolic Verification in VRS

by Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.
Published in Управляющие системы и машины (2013)

Insertion modeling in distributed system design

by Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
Published 2008