Cover Image

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

Saved in:

Bibliographic Details
Date:	2020
Main Authors:	A. Kolchin, S. Potienko, T. Weigert
Format:	Article
Language:	English
Published:	2020
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0001163069
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

A method of test data generation from source code of Java programs
by: A. V. Kolchin, et al.
Published: (2016)

A survey of systematic methods for code-based test data generation
by: V. A. Volkov, et al.
Published: (2017)

Selection of Econometric Instruments when Building a Scoring Model Based on Dummy Variables
by: S. S. Savina, et al.
Published: (2023)

A practical approach to validation of credit scoring models
by: N. Lukashevich
Published: (2014)

Development of ARMS PCR tests for detection of common CFTR gene mutations
by: Soloviov, O.O., et al.
Published: (2010)

The Information System of Credit Scoring
by: S. M. Mordovtsev, et al.
Published: (2019)

Scoring modeling based on neural networks for determining a bank borrower&#039;s rating
by: O. M. Vasyliev
Published: (2020)

Testing of a new docking scoring function on the example of inhibitors of protein tyrosine phosphatase 1B
by: Yu. Tanchuk, et al.
Published: (2015)

INCREASE OF ENERGY EFFICIENCY OF TESTING OF TRACTION ELECTRIC MACHINES OF DIRECT AND PULSATING CURRENT
by: Afanasov, A. M.
Published: (2015)

Military suit Janissaries
by: V. G. Berezhinskij, et al.
Published: (2015)

Statistical and Optimization Methods in Credit Scoring
by: V. O. Stovba
Published: (2022)

Creating a scoring model to assess risk events on the labor market
by: Ya. I. Yuryk, et al.
Published: (2016)

Molecular genetic testing of FGFR3 gene mutation in the differential diagnosis of achondroplasia and hypochondroplasia
by: I. M. Dmytruk, et al.
Published: (2015)

An epidemic model with viral mutations and vaccine interventions
by: Y. A. Adi, et al.
Published: (2023)

Resources for increased functionality of MapInfo GIS to automate and increase the efficiency of electronic maps generating in forestry
by: L. V. Alekseeva, et al.
Published: (2014)

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
by: A. V. Kolchin, et al.
Published: (2015)

Selection-mutation balance models with epistatic selection
by: Kondratiev, Yu.G., et al.
Published: (2008)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Increase of efficiency of acceleration of the test electron bunch by sequence of electron bunches in the dielectric resonator
by: Markov, P.I., et al.
Published: (2018)

Semantic Score of a Novel Pointed at Music
by: S. P. Matsenka
Published: (2013)

Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
by: Traum, M. J., et al.
Published: (2016)

Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
by: Traum, M. J., et al.
Published: (2016)

Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
by: M. J. Traum, et al.
Published: (2011)

Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
by: Traum, M.J., et al.
Published: (2011)

Tournament crowding genetic algorithms based on Gauss mutation
by: V. P. Shylo, et al.
Published: (2020)

The genetic control of spontaneous mutation changes in Drosophilfi melanogaster Meig. during aging
by: A. V. Nekrasova, et al.
Published: (2000)

Increase in thermal generator efficiency with the use of human thermal energy in dynamic modes
by: L. I. Anatychuk, et al.
Published: (2014)

Scoring card’s development for banking activities risks’ analysis
by: Kuznietsova, N. V.
Published: (2017)

Score of rhythm in Marko Cheremshyna&#039;s prose
by: L. Horbolis
Published: (2015)

Integrated score for sustainability of insurance companies at the regional level
by: N. M. Bilous
Published: (2015)

Biotechnological methods score efficacy the cryopreservation of boar semen
by: S. I. Kovtun, et al.
Published: (2017)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Forming of the Coordination Relations In Mechanisms For Increase of Efficiency Based On Coaching
by: A. V. Tyrinov
Published: (2014)

Thermodynamical Bases of Increase of Thermal Power Stations Operational Efficiency
by: O. A. Khortova
Published: (2011)

Models of Assessment of the Credit Risk of Borrowers with a Time Parameter for the Systems of Application Credit Scoring
by: K. K. Pysanets
Published: (2013)

Ovarian cancer: family cancer syndrome and clinical significance of testing of the mutations in BRCA1 and BRCA2?genes
by: O. V. Paliichuk, et al.
Published: (2016)

Modelling Financial Mechanism of Increase of Efficiency of Personnel Labour
by: O. S. Karpets, et al.
Published: (2013)