Suchergebnisse - Weigert, T.
- Treffer 1 - 6 von 6
-
1
Efficient increasing of the mutation score during model-based test suite generation von Kolchin, A., Potienko, S., Weigert, T.
Veröffentlicht in Проблеми програмування (2020)Volltext
Artikel -
2
Efficient increasing of the mutation score during model-based test suite generation von A. Kolchin, S. Potienko, T. Weigert
Veröffentlicht 2020Volltext
Artikel -
3
Efficient increasing of the mutation score during model-based test suite generation von Kolchin, A., Potiyenko, S., Weigert, T.
Veröffentlicht 2020Volltext
Artikel -
4
Satisfiability For Symbolic Verification in VRS von Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.
Veröffentlicht in Управляющие системы и машины (2013)Volltext
Artikel -
5
Satisfiability For Symbolic Verification in VRS von A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko
Veröffentlicht 2013Volltext
Artikel -
6
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 2008Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
UDC 004.415.53+004.832.23+004.052.3
model checking
mutation testing
testing
Информационные технологии и системы
Методи машинного навчання
Теоретичні та методологічні основи програмування
УДК 004.415.53+004.832.23+004.052.3
мутационное тестирование
мутаційне тестування
перевірка моделі
проверка модели
тестирование
тестування