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...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2020 |
| Hauptverfasser: | Kolchin, A., Potienko, S., Weigert, T. |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2020
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/180479 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Efficient increasing of the mutation score during model-based test suite generation / A. Kolchin, S. Potienko, T. Weigert // Проблеми програмування. — 2020. — № 2-3. — С. 331-340. — Бібліогр.: 29 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Efficient increasing of the mutation score during model-based test suite generation
von: A. Kolchin, et al.
Veröffentlicht: (2020)
von: A. Kolchin, et al.
Veröffentlicht: (2020)
Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)
von: Kolchin, A., et al.
Veröffentlicht: (2020)
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
von: Palagin, O.V., et al.
Veröffentlicht: (2020)
von: Palagin, O.V., et al.
Veröffentlicht: (2020)
Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж
von: Андон, П.І., et al.
Veröffentlicht: (2020)
von: Андон, П.І., et al.
Veröffentlicht: (2020)
О влиянии особенностей фитнесс-функций на сходимость генетического алгоритма
von: Лукьянов, И.О., et al.
Veröffentlicht: (2020)
von: Лукьянов, И.О., et al.
Veröffentlicht: (2020)
The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar
von: Kosovets, M., et al.
Veröffentlicht: (2020)
von: Kosovets, M., et al.
Veröffentlicht: (2020)
Автоматизовані методи оцінки когерентності україномовних текстів з використанням методології машинного навчання
von: Крамов, А.А., et al.
Veröffentlicht: (2020)
von: Крамов, А.А., et al.
Veröffentlicht: (2020)
Метод получения информации из онтологии на основе анализа фразы на естественном языке
von: Литвин, А.А., et al.
Veröffentlicht: (2020)
von: Литвин, А.А., et al.
Veröffentlicht: (2020)
Застосування технології глибинного навчання для побудови інтелектуальних автономних машин
von: Білоконь, О.С.
Veröffentlicht: (2020)
von: Білоконь, О.С.
Veröffentlicht: (2020)
Побудова діагностичної експертно-медичної системи з використанням нейронних мереж
von: Глибовець, М.М., et al.
Veröffentlicht: (2020)
von: Глибовець, М.М., et al.
Veröffentlicht: (2020)
Відтворення казуальних моделей з даних. Проблеми адекватності структур з прихованими причинами
von: Балабанов, О.С.
Veröffentlicht: (2020)
von: Балабанов, О.С.
Veröffentlicht: (2020)
Neural networks’ learning process acceleration
von: Katerynych, L., et al.
Veröffentlicht: (2020)
von: Katerynych, L., et al.
Veröffentlicht: (2020)
Аналіз методів машинного навчання в задачі класифікації документів
von: Жиркова, А.П., et al.
Veröffentlicht: (2020)
von: Жиркова, А.П., et al.
Veröffentlicht: (2020)
Модуль стиснення зображень на основі нейро-мережевих автокодувальників
von: Лесик, В.О., et al.
Veröffentlicht: (2023)
von: Лесик, В.О., et al.
Veröffentlicht: (2023)
Модель рекурентної нейронної мережі для генерації музики
von: Комарський, О.С., et al.
Veröffentlicht: (2022)
von: Комарський, О.С., et al.
Veröffentlicht: (2022)
Intonation expressiveness of the text at program sounding
von: Shevchenko, V.L., et al.
Veröffentlicht: (2021)
von: Shevchenko, V.L., et al.
Veröffentlicht: (2021)
Algorithm and software for determining a musical genre by lyrics to create a song hit
von: Triantafillu, A.A., et al.
Veröffentlicht: (2021)
von: Triantafillu, A.A., et al.
Veröffentlicht: (2021)
Автоматизація розв’язування задач з планіметрії, записаних природною українською мовою
von: Жежерун, О.П., et al.
Veröffentlicht: (2020)
von: Жежерун, О.П., et al.
Veröffentlicht: (2020)
Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)
A method of test data generation from source code of Java programs
von: A. V. Kolchin, et al.
Veröffentlicht: (2016)
von: A. V. Kolchin, et al.
Veröffentlicht: (2016)
A survey of systematic methods for code-based test data generation
von: V. A. Volkov, et al.
Veröffentlicht: (2017)
von: V. A. Volkov, et al.
Veröffentlicht: (2017)
Метод побудови інтелектуальної системи рекомендацій для професійної орієнтації
von: Жабер, Амір Хассан
Veröffentlicht: (2023)
von: Жабер, Амір Хассан
Veröffentlicht: (2023)
ПРО РЕЗУЛЬТАТИ ДОСЛІДЖЕНЬ НАУКОВОЇ ШКОЛИ ПРИ НАЦІОНАЛЬНІЙ АКАДЕМІЇ НАУК УКРАЇНИ «ДИНАМІКА ОБ’ЄКТІВ КОСМІЧНИХ ТЕХНОЛОГІЙ» У 2021–2025 РОКАХ
von: ALPATOV, A. P.
Veröffentlicht: (2026)
von: ALPATOV, A. P.
Veröffentlicht: (2026)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2014)
von: Guba, A.A.
Veröffentlicht: (2014)
Огляд методів виявлення раку молочної залози з використанням штучного інтелекту і методів поглибленого навчання
von: Naderan, Maryam
Veröffentlicht: (2021)
von: Naderan, Maryam
Veröffentlicht: (2021)
The Information System of Credit Scoring
von: S. M. Mordovtsev, et al.
Veröffentlicht: (2019)
von: S. M. Mordovtsev, et al.
Veröffentlicht: (2019)
Development of ARMS PCR tests for detection of common CFTR gene mutations
von: Soloviov, O.O., et al.
Veröffentlicht: (2010)
von: Soloviov, O.O., et al.
Veröffentlicht: (2010)
Testing of a new docking scoring function on the example of inhibitors of protein tyrosine phosphatase 1B
von: Yu. Tanchuk, et al.
Veröffentlicht: (2015)
von: Yu. Tanchuk, et al.
Veröffentlicht: (2015)
Selection of Econometric Instruments when Building a Scoring Model Based on Dummy Variables
von: S. S. Savina, et al.
Veröffentlicht: (2023)
von: S. S. Savina, et al.
Veröffentlicht: (2023)
A practical approach to validation of credit scoring models
von: N. Lukashevich
Veröffentlicht: (2014)
von: N. Lukashevich
Veröffentlicht: (2014)
Military suit Janissaries
von: V. G. Berezhinskij, et al.
Veröffentlicht: (2015)
von: V. G. Berezhinskij, et al.
Veröffentlicht: (2015)
Statistical and Optimization Methods in Credit Scoring
von: V. O. Stovba
Veröffentlicht: (2022)
von: V. O. Stovba
Veröffentlicht: (2022)
Багатокрокове прогнозування в лінеаризованих латентних просторах для навчання репрезинтацій
von: Tytarenko, Andrii
Veröffentlicht: (2022)
von: Tytarenko, Andrii
Veröffentlicht: (2022)
INCREASE OF ENERGY EFFICIENCY OF TESTING OF TRACTION ELECTRIC MACHINES OF DIRECT AND PULSATING CURRENT
von: Afanasov, A. M.
Veröffentlicht: (2015)
von: Afanasov, A. M.
Veröffentlicht: (2015)
Scoring modeling based on neural networks for determining a bank borrower's rating
von: O. M. Vasyliev
Veröffentlicht: (2020)
von: O. M. Vasyliev
Veröffentlicht: (2020)
Molecular genetic testing of FGFR3 gene mutation in the differential diagnosis of achondroplasia and hypochondroplasia
von: I. M. Dmytruk, et al.
Veröffentlicht: (2015)
von: I. M. Dmytruk, et al.
Veröffentlicht: (2015)
Аналіз англомовного художнього тексту з використанням технологій критичного мислення
von: Скрипка, Р.В.
Veröffentlicht: (2010)
von: Скрипка, Р.В.
Veröffentlicht: (2010)
Інформаційно-технологічний супровід інклюзивного навчання в Україні
von: Шестакевич, Т.В., et al.
Veröffentlicht: (2017)
von: Шестакевич, Т.В., et al.
Veröffentlicht: (2017)
Українська комп'ютерна лексикографія як важливий інноваційний чинник навчального процесу
von: Сидоренко, О.М.
Veröffentlicht: (2010)
von: Сидоренко, О.М.
Veröffentlicht: (2010)
Аналіз якісної оцінки кіберспортивних навичок студентів засобами web-орієнтованої системи
von: Конопля, В.К., et al.
Veröffentlicht: (2017)
von: Конопля, В.К., et al.
Veröffentlicht: (2017)
Ähnliche Einträge
-
Efficient increasing of the mutation score during model-based test suite generation
von: A. Kolchin, et al.
Veröffentlicht: (2020) -
Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020) -
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
von: Palagin, O.V., et al.
Veröffentlicht: (2020) -
Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж
von: Андон, П.І., et al.
Veröffentlicht: (2020) -
О влиянии особенностей фитнесс-функций на сходимость генетического алгоритма
von: Лукьянов, И.О., et al.
Veröffentlicht: (2020)