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

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

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	A. Kolchin, S. Potienko, T. Weigert
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2020
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0001163069
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)

Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)

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)

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)

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)

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

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

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

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

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

Creating a scoring model to assess risk events on the labor market
за авторством: Ya. I. Yuryk, та інші
Опубліковано: (2016)

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

An epidemic model with viral mutations and vaccine interventions
за авторством: Y. A. Adi, та інші
Опубліковано: (2023)

Resources for increased functionality of MapInfo GIS to automate and increase the efficiency of electronic maps generating in forestry
за авторством: L. V. Alekseeva, та інші
Опубліковано: (2014)

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2015)

Selection-mutation balance models with epistatic selection
за авторством: Kondratiev, Yu.G., та інші
Опубліковано: (2008)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Increase of efficiency of acceleration of the test electron bunch by sequence of electron bunches in the dielectric resonator
за авторством: Markov, P.I., та інші
Опубліковано: (2018)

Semantic Score of a Novel Pointed at Music
за авторством: S. P. Matsenka
Опубліковано: (2013)

Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
за авторством: Traum, M. J., та інші
Опубліковано: (2016)

Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
за авторством: Traum, M. J., та інші
Опубліковано: (2016)

Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
за авторством: M. J. Traum, та інші
Опубліковано: (2011)

Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
за авторством: Traum, M.J., та інші
Опубліковано: (2011)

Tournament crowding genetic algorithms based on Gauss mutation
за авторством: V. P. Shylo, та інші
Опубліковано: (2020)

The genetic control of spontaneous mutation changes in Drosophilfi melanogaster Meig. during aging
за авторством: A. V. Nekrasova, та інші
Опубліковано: (2000)

Increase in thermal generator efficiency with the use of human thermal energy in dynamic modes
за авторством: L. I. Anatychuk, та інші
Опубліковано: (2014)

Scoring card’s development for banking activities risks’ analysis
за авторством: Kuznietsova, N. V.
Опубліковано: (2017)

Score of rhythm in Marko Cheremshyna&#039;s prose
за авторством: L. Horbolis
Опубліковано: (2015)

Integrated score for sustainability of insurance companies at the regional level
за авторством: N. M. Bilous
Опубліковано: (2015)

Biotechnological methods score efficacy the cryopreservation of boar semen
за авторством: S. I. Kovtun, та інші
Опубліковано: (2017)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Forming of the Coordination Relations In Mechanisms For Increase of Efficiency Based On Coaching
за авторством: A. V. Tyrinov
Опубліковано: (2014)

Thermodynamical Bases of Increase of Thermal Power Stations Operational Efficiency
за авторством: O. A. Khortova
Опубліковано: (2011)

Models of Assessment of the Credit Risk of Borrowers with a Time Parameter for the Systems of Application Credit Scoring
за авторством: K. K. Pysanets
Опубліковано: (2013)

Ovarian cancer: family cancer syndrome and clinical significance of testing of the mutations in BRCA1 and BRCA2?genes
за авторством: O. V. Paliichuk, та інші
Опубліковано: (2016)

Modelling Financial Mechanism of Increase of Efficiency of Personnel Labour
за авторством: O. S. Karpets, та інші
Опубліковано: (2013)