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 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2020
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/425 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)
за авторством: Kolchin, A.V.
Опубліковано: (2018)
Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
Efficient increasing of the mutation score during model-based test suite generation
за авторством: A. Kolchin, та інші
Опубліковано: (2020)
за авторством: A. Kolchin, та інші
Опубліковано: (2020)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: Guba, A.A., та інші
Опубліковано: (2018)
за авторством: Guba, A.A., та інші
Опубліковано: (2018)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)
за авторством: Guba, A.A.
Опубліковано: (2025)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
Developing algorithms for automatic hypoxing test chasing from the single-channel electrocardiograms: a model experiment
за авторством: Romanenko, T.M.
Опубліковано: (2024)
за авторством: Romanenko, T.M.
Опубліковано: (2024)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
An approach for software white box testing with genetic algorithm
за авторством: Slabospickaya, O.A., та інші
Опубліковано: (2018)
за авторством: Slabospickaya, O.A., та інші
Опубліковано: (2018)
About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)
за авторством: Lvov, M.S.
Опубліковано: (2025)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2017)
за авторством: Yalovets, A.L.
Опубліковано: (2017)
Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
за авторством: Линник, А. В., та інші
Опубліковано: (2014)
за авторством: Линник, А. В., та інші
Опубліковано: (2014)
Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
за авторством: Линник, А. В., та інші
Опубліковано: (2014)
за авторством: Линник, А. В., та інші
Опубліковано: (2014)
On a problem of high-precision trajectory measurements by optical means
за авторством: Putyatin, V. G., та інші
Опубліковано: (2017)
за авторством: Putyatin, V. G., та інші
Опубліковано: (2017)
Some aspects of software engineering for AI-based systems
за авторством: Liubchenko, V.V.
Опубліковано: (2023)
за авторством: Liubchenko, V.V.
Опубліковано: (2023)
About a system approach to the development and ground tests of on-board automated naval complexes for detection and target designation
за авторством: Dodonov, A. G., та інші
Опубліковано: (2017)
за авторством: Dodonov, A. G., та інші
Опубліковано: (2017)
Decompositional Extraction and Retrieval of Conceptual Knowledge
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2023)
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2023)
An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)
Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
Increase the temporal efficiency of data structures in memory based on adaptation
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)
Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
за авторством: Линник, А. В., та інші
Опубліковано: (2016)
за авторством: Линник, А. В., та інші
Опубліковано: (2016)
Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
за авторством: Линник, А. В., та інші
Опубліковано: (2016)
за авторством: Линник, А. В., та інші
Опубліковано: (2016)
UAV application for geophysical research
за авторством: Prystai, А., та інші
Опубліковано: (2017)
за авторством: Prystai, А., та інші
Опубліковано: (2017)
HEAT TESTS OF POWER CABLES WITH XLPE INSULATION AT DIRECT VOLTAGES UP TO 110 KV
за авторством: Antonets, T. Yu., та інші
Опубліковано: (2015)
за авторством: Antonets, T. Yu., та інші
Опубліковано: (2015)
DS-theory. The research of P-data factors formating
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
On the possibility of a systematic study of the production management systems
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
T-satisfiability test problem for the VL1 logical language of the VRS system
за авторством: Timofeev, V.G.
Опубліковано: (2015)
за авторством: Timofeev, V.G.
Опубліковано: (2015)
Complex approach for state critical information infrastructure cyber defence system constructing
за авторством: Synitsyn, I.P., та інші
Опубліковано: (2018)
за авторством: Synitsyn, I.P., та інші
Опубліковано: (2018)
Features of implementation of simulation processes based on DATA FARMING methodologies
за авторством: Krikovlyuk, E.A., та інші
Опубліковано: (2015)
за авторством: Krikovlyuk, E.A., та інші
Опубліковано: (2015)
On the mutation loops of valued quivers
за авторством: Saleh, I.
Опубліковано: (2023)
за авторством: Saleh, I.
Опубліковано: (2023)
INCREASE OF ENERGY EFFICIENCY OF TESTING OF TRACTION ELECTRIC MACHINES OF DIRECT AND PULSATING CURRENT
за авторством: Afanasov, A. M.
Опубліковано: (2015)
за авторством: Afanasov, A. M.
Опубліковано: (2015)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
The architecture and functionality of the multi-agent system Navigation
за авторством: Yalovets, A.L.
Опубліковано: (2018)
за авторством: Yalovets, A.L.
Опубліковано: (2018)
Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)
Synthesis of evolutionary mechanisms in the development of an adaptive optimization algorithm
за авторством: Ivanchuk, Y.V., та інші
Опубліковано: (2025)
за авторством: Ivanchuk, Y.V., та інші
Опубліковано: (2025)
THE EFFECT OF THE ACTIVE RESISTANCE OF THE PULSE TRANSFORMER WINDINGS ON THE PARAMETERS OF VOLTAGE PULSES GENERATED ON A CAPACITIVE LOAD
за авторством: Gurin, A. G., та інші
Опубліковано: (2019)
за авторством: Gurin, A. G., та інші
Опубліковано: (2019)
ANALYSIS OF CHARACTERISTICS AND POSSIBILITIES OF HIGH-VOLTAGE COMPLEX SCIENTIFIC-&-RESEARCH PLANNING-&-DESIGN INSTITUTE «MOLNIYA» OF NTU «KHPI» FOR THE TESTS OF OBJECTS OF ENERGY, ARMAMENT, AVIATION AND SPACE-ROCKET TECHNIQUE ON ELECTRIC SAFETY AND EMC
за авторством: Baranov, M. I., та інші
Опубліковано: (2020)
за авторством: Baranov, M. I., та інші
Опубліковано: (2020)