Харвестер відкритої науки НАН України

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

von Kolchin, A., Potiyenko, S., Weigert, T.
Veröffentlicht 2020

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

von A. Kolchin, S. Potienko, T. Weigert
Veröffentlicht 2020

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

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

Satisfiability For Symbolic Verification in VRS

von A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko
Veröffentlicht 2013

Satisfiability For Symbolic Verification in VRS

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

Insertion modeling in distributed system design

von Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
Veröffentlicht 2008