Suchergebnisse
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- model checking
- testing 2
- перевірка моделі 2
- проверка модели 2
- тестирование 2
- тестування 2
- UDC 004.414.23+004.415.53+004.832.23+ 004.4'233 1
- UDC 004.415.53+004.832.23+004.052.3 1
- debugging 1
- mutation testing 1
- УДК 004.414.23+004.415.53+004.832.23+ 004.4'233 1
- УДК 004.415.53+004.832.23+004.052.3 1
- мутационное тестирование 1
- мутаційне тестування 1
- налагодження 1
- отладка 1
-
1
Interactive method for cumulative analysis of software formal models behavior
Veröffentlicht 2018Volltext
Artikel -
2
Efficient increasing of the mutation score during model-based test suite generation
Veröffentlicht 2020Volltext
Artikel