Показ
1 - 1
результатів із
1
для пошуку '
"model checking"
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Full text
Знайти
Розширений
Результати пошуку - "model checking"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
UDC 004.415.53+004.832.23+004.052.3
1
model checking
1
mutation testing
1
testing
1
УДК 004.415.53+004.832.23+004.052.3
1
мутационное тестирование
1
мутаційне тестування
1
перевірка моделі
1
проверка модели
1
тестирование
1
тестування
1
Показ
1 - 1
результатів із
1
для пошуку '
"model checking"
'
, час виконання запиту: 0.01сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Efficient increasing of the mutation score during model-based test suite generation
за авторством
Kolchin, A.
,
Potiyenko, S.
,
Weigert, T.
Опубліковано 2020
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
–
Зберегти пошук
Назад
Уточнити результати
Репозитарії
Problems in programming
1
Формат
Стаття
1
Автор
Kolchin, A.
1
Potiyenko, S.
1
Weigert, T.
1
Мова
English
1
Рік публікації
від:
до: