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Схожі ресурси
-
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.
Опубліковано: (2018) -
Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018) -
Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020) -
Efficient increasing of the mutation score during model-based test suite generation
за авторством: A. Kolchin, та інші
Опубліковано: (2020) -
Formal methods of parallel software design automation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2020)