Search Results - "model checking"
Suggested Topics within your search.
Suggested Topics within your search.
- model checking 2
- 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
Efficient increasing of the mutation score during model-based test suite generation
Published 2020
Get full text
Article -
2
Interactive method for cumulative analysis of software formal models behavior
Published 2018
Get full text
Article