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)
Автоматизовані методи оцінки когерентності україномовних текстів з використанням методології машинного навчання
von: Крамов, А.А., et al.
Veröffentlicht: (2020)
von: Крамов, А.А., et al.
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: Білоконь, О.С.
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)
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: Іваненко, П.А.
Veröffentlicht: (2020)
von: Іваненко, П.А.
Veröffentlicht: (2020)
Застосування машинного навчання для уточнення чисельних метеорологічних прогнозів
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2020)
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2020)
A model of a convolutional neural network and software for typical insect pests recognition
von: Bezliudnyi, Y.S., et al.
Veröffentlicht: (2021)
von: Bezliudnyi, Y.S., et al.
Veröffentlicht: (2021)
Модуль стиснення зображень на основі нейро-мережевих автокодувальників
von: Лесик, В.О., et al.
Veröffentlicht: (2023)
von: Лесик, В.О., et al.
Veröffentlicht: (2023)
Аналіз методів машинного навчання в задачі класифікації документів
von: Жиркова, А.П., et al.
Veröffentlicht: (2020)
von: Жиркова, А.П., et al.
Veröffentlicht: (2020)
Автоматизація розв’язування задач з планіметрії, записаних природною українською мовою
von: Жежерун, О.П., et al.
Veröffentlicht: (2020)
von: Жежерун, О.П., et al.
Veröffentlicht: (2020)
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)
Модель рекурентної нейронної мережі для генерації музики
von: Комарський, О.С., et al.
Veröffentlicht: (2022)
von: Комарський, О.С., et al.
Veröffentlicht: (2022)
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)
The problem of developing the architecture of modern cognitive radar system
von: Коsovets, M., et al.
Veröffentlicht: (2022)
von: Коsovets, M., et al.
Veröffentlicht: (2022)
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)
The Information System of Credit Scoring
von: S. M. Mordovtsev, et al.
Veröffentlicht: (2019)
von: S. M. Mordovtsev, et al.
Veröffentlicht: (2019)
Огляд методів виявлення раку молочної залози з використанням штучного інтелекту і методів поглибленого навчання
von: Naderan, Maryam
Veröffentlicht: (2021)
von: Naderan, Maryam
Veröffentlicht: (2021)
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)
Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.
Veröffentlicht: (2018)
von: Kolchin, A.
Veröffentlicht: (2018)
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)
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)
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)
Ä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)