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

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

за авторством Kolchin, A., Potiyenko, S., Weigert, T.
Опубліковано 2020

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

за авторством A. Kolchin, S. Potienko, T. Weigert
Опубліковано 2020

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

за авторством Kolchin, A., Potienko, S., Weigert, T.
Опубліковано в: Проблеми програмування (2020)

Satisfiability For Symbolic Verification in VRS

за авторством A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko
Опубліковано 2013

Satisfiability For Symbolic Verification in VRS

за авторством Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.
Опубліковано в: Управляющие системы и машины (2013)

Insertion modeling in distributed system design

за авторством Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
Опубліковано 2008