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

by Kolchin, A., Potienko, 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

Satisfiability For Symbolic Verification in VRS

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

Satisfiability For Symbolic Verification in VRS

by A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko
Published 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