Зображення обкладинки

Efficient increasing of the mutation score during model-based test suite generation

The purpose of the method is to increase the sensitivity of an automatically generated test suite to mutations of a model. Unlike existing methods for generating test scenarios that use the mutational approach to assess the resulting test set, the proposed method analyzes the possibility of detectin...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2020
Автори:	Kolchin, A., Potienko, S., Weigert, T.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Інститут програмних систем НАН України 2020
Теми:	Методи машинного навчання
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/180479
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Efficient increasing of the mutation score during model-based test suite generation / A. Kolchin, S. Potienko, T. Weigert // Проблеми програмування. — 2020. — № 2-3. — С. 331-340. — Бібліогр.: 29 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

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)

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
за авторством: Palagin, O.V., та інші
Опубліковано: (2020)

Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж
за авторством: Андон, П.І., та інші
Опубліковано: (2020)

О влиянии особенностей фитнесс-функций на сходимость генетического алгоритма
за авторством: Лукьянов, И.О., та інші
Опубліковано: (2020)

The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar
за авторством: Kosovets, M., та інші
Опубліковано: (2020)

Побудова діагностичної експертно-медичної системи з використанням нейронних мереж
за авторством: Глибовець, М.М., та інші
Опубліковано: (2020)

Neural networks’ learning process acceleration
за авторством: Katerynych, L., та інші
Опубліковано: (2020)

Автоматизовані методи оцінки когерентності україномовних текстів з використанням методології машинного навчання
за авторством: Крамов, А.А., та інші
Опубліковано: (2020)

Відтворення казуальних моделей з даних. Проблеми адекватності структур з прихованими причинами
за авторством: Балабанов, О.С.
Опубліковано: (2020)

Метод получения информации из онтологии на основе анализа фразы на естественном языке
за авторством: Литвин, А.А., та інші
Опубліковано: (2020)

Застосування технології глибинного навчання для побудови інтелектуальних автономних машин
за авторством: Білоконь, О.С.
Опубліковано: (2020)

Автоматизація розв’язування задач з планіметрії, записаних природною українською мовою
за авторством: Жежерун, О.П., та інші
Опубліковано: (2020)

Аналіз методів машинного навчання в задачі класифікації документів
за авторством: Жиркова, А.П., та інші
Опубліковано: (2020)

Algorithm and software for determining a musical genre by lyrics to create a song hit
за авторством: Triantafillu, A.A., та інші
Опубліковано: (2021)

Модуль стиснення зображень на основі нейро-мережевих автокодувальників
за авторством: Лесик, В.О., та інші
Опубліковано: (2023)

Модель рекурентної нейронної мережі для генерації музики
за авторством: Комарський, О.С., та інші
Опубліковано: (2022)

Intonation expressiveness of the text at program sounding
за авторством: Shevchenko, V.L., та інші
Опубліковано: (2021)

Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)

A method of test data generation from source code of Java programs
за авторством: A. V. Kolchin, та інші
Опубліковано: (2016)

A survey of systematic methods for code-based test data generation
за авторством: V. A. Volkov, та інші
Опубліковано: (2017)

ПРО РЕЗУЛЬТАТИ ДОСЛІДЖЕНЬ НАУКОВОЇ ШКОЛИ ПРИ НАЦІОНАЛЬНІЙ АКАДЕМІЇ НАУК УКРАЇНИ «ДИНАМІКА ОБ’ЄКТІВ КОСМІЧНИХ ТЕХНОЛОГІЙ» У 2021–2025 РОКАХ
за авторством: ALPATOV, A. P.
Опубліковано: (2026)

Метод побудови інтелектуальної системи рекомендацій для професійної орієнтації
за авторством: Жабер, Амір Хассан
Опубліковано: (2023)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2014)

Огляд методів виявлення раку молочної залози з використанням штучного інтелекту і методів поглибленого навчання
за авторством: Naderan, Maryam
Опубліковано: (2021)

Development of ARMS PCR tests for detection of common CFTR gene mutations
за авторством: Soloviov, O.O., та інші
Опубліковано: (2010)

The Information System of Credit Scoring
за авторством: S. M. Mordovtsev, та інші
Опубліковано: (2019)

Testing of a new docking scoring function on the example of inhibitors of protein tyrosine phosphatase 1B
за авторством: Yu. Tanchuk, та інші
Опубліковано: (2015)

Selection of Econometric Instruments when Building a Scoring Model Based on Dummy Variables
за авторством: S. S. Savina, та інші
Опубліковано: (2023)

A practical approach to validation of credit scoring models
за авторством: N. Lukashevich
Опубліковано: (2014)

Багатокрокове прогнозування в лінеаризованих латентних просторах для навчання репрезинтацій
за авторством: Tytarenko, Andrii
Опубліковано: (2022)

Military suit Janissaries
за авторством: V. G. Berezhinskij, та інші
Опубліковано: (2015)

Statistical and Optimization Methods in Credit Scoring
за авторством: V. O. Stovba
Опубліковано: (2022)

Scoring modeling based on neural networks for determining a bank borrower&#039;s rating
за авторством: O. M. Vasyliev
Опубліковано: (2020)

INCREASE OF ENERGY EFFICIENCY OF TESTING OF TRACTION ELECTRIC MACHINES OF DIRECT AND PULSATING CURRENT
за авторством: Afanasov, A. M.
Опубліковано: (2015)

Molecular genetic testing of FGFR3 gene mutation in the differential diagnosis of achondroplasia and hypochondroplasia
за авторством: I. M. Dmytruk, та інші
Опубліковано: (2015)

Огляд методів сегментації медичних зображень
за авторством: Chapaliuk, Bohdan V., та інші
Опубліковано: (2018)

Порівняння ефективності методів заповнення пропущених даних під час розроблення моделей прогнозування
за авторством: Popov, Andrii
Опубліковано: (2025)

Аналіз англомовного художнього тексту з використанням технологій критичного мислення
за авторством: Скрипка, Р.В.
Опубліковано: (2010)

Інформаційно-технологічний супровід інклюзивного навчання в Україні
за авторством: Шестакевич, Т.В., та інші
Опубліковано: (2017)