Interactive method for automated test suit development for formal models of software systems
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | A. V. Kolchin, S. V. Potienko |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
2018
|
| Назва видання: | Artificial intelligence |
| Онлайн доступ: | http://jnas.nbuv.gov.ua/article/UJRN-0000999777 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Репозитарії
Library portal of National Academy of Sciences of Ukraine | LibNASСхожі ресурси
-
Efficient increasing of the mutation score during model-based test suite generation
за авторством: A. Kolchin, та інші
Опубліковано: (2020) -
Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020) -
Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018) -
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.
Опубліковано: (2018) -
Formal methods of parallel software design automation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2020)