Efficient increasing of the mutation score during model-based test suite generation
Gespeichert in:
| Datum: | 2020 |
|---|---|
| Hauptverfasser: | A. Kolchin, S. Potienko, T. Weigert |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
2020
|
| Schriftenreihe: | Problems in programming |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0001163069 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASÄhnliche Einträge
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)
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)
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)
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)
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)
The Information System of Credit Scoring
von: S. M. Mordovtsev, et al.
Veröffentlicht: (2019)
von: S. M. Mordovtsev, et al.
Veröffentlicht: (2019)
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)
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)
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)
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)
Creating a scoring model to assess risk events on the labor market
von: Ya. I. Yuryk, et al.
Veröffentlicht: (2016)
von: Ya. I. Yuryk, et al.
Veröffentlicht: (2016)
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)
An epidemic model with viral mutations and vaccine interventions
von: Y. A. Adi, et al.
Veröffentlicht: (2023)
von: Y. A. Adi, et al.
Veröffentlicht: (2023)
Resources for increased functionality of MapInfo GIS to automate and increase the efficiency of electronic maps generating in forestry
von: L. V. Alekseeva, et al.
Veröffentlicht: (2014)
von: L. V. Alekseeva, et al.
Veröffentlicht: (2014)
A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2015)
von: A. V. Kolchin, et al.
Veröffentlicht: (2015)
Selection-mutation balance models with epistatic selection
von: Kondratiev, Yu.G., et al.
Veröffentlicht: (2008)
von: Kondratiev, Yu.G., et al.
Veröffentlicht: (2008)
Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)
Increase of efficiency of acceleration of the test electron bunch by sequence of electron bunches in the dielectric resonator
von: Markov, P.I., et al.
Veröffentlicht: (2018)
von: Markov, P.I., et al.
Veröffentlicht: (2018)
Semantic Score of a Novel Pointed at Music
von: S. P. Matsenka
Veröffentlicht: (2013)
von: S. P. Matsenka
Veröffentlicht: (2013)
Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
von: Traum, M. J., et al.
Veröffentlicht: (2016)
von: Traum, M. J., et al.
Veröffentlicht: (2016)
Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
von: Traum, M. J., et al.
Veröffentlicht: (2016)
von: Traum, M. J., et al.
Veröffentlicht: (2016)
Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
von: M. J. Traum, et al.
Veröffentlicht: (2011)
von: M. J. Traum, et al.
Veröffentlicht: (2011)
Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
von: Traum, M.J., et al.
Veröffentlicht: (2011)
von: Traum, M.J., et al.
Veröffentlicht: (2011)
Tournament crowding genetic algorithms based on Gauss mutation
von: V. P. Shylo, et al.
Veröffentlicht: (2020)
von: V. P. Shylo, et al.
Veröffentlicht: (2020)
The genetic control of spontaneous mutation changes in Drosophilfi melanogaster Meig. during aging
von: A. V. Nekrasova, et al.
Veröffentlicht: (2000)
von: A. V. Nekrasova, et al.
Veröffentlicht: (2000)
Increase in thermal generator efficiency with the use of human thermal energy in dynamic modes
von: L. I. Anatychuk, et al.
Veröffentlicht: (2014)
von: L. I. Anatychuk, et al.
Veröffentlicht: (2014)
Scoring card’s development for banking activities risks’ analysis
von: Kuznietsova, N. V.
Veröffentlicht: (2017)
von: Kuznietsova, N. V.
Veröffentlicht: (2017)
Score of rhythm in Marko Cheremshyna's prose
von: L. Horbolis
Veröffentlicht: (2015)
von: L. Horbolis
Veröffentlicht: (2015)
Integrated score for sustainability of insurance companies at the regional level
von: N. M. Bilous
Veröffentlicht: (2015)
von: N. M. Bilous
Veröffentlicht: (2015)
Biotechnological methods score efficacy the cryopreservation of boar semen
von: S. I. Kovtun, et al.
Veröffentlicht: (2017)
von: S. I. Kovtun, et al.
Veröffentlicht: (2017)
A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)
von: A. V. Kolchin
Veröffentlicht: (2013)
Forming of the Coordination Relations In Mechanisms For Increase of Efficiency Based On Coaching
von: A. V. Tyrinov
Veröffentlicht: (2014)
von: A. V. Tyrinov
Veröffentlicht: (2014)
Thermodynamical Bases of Increase of Thermal Power Stations Operational Efficiency
von: O. A. Khortova
Veröffentlicht: (2011)
von: O. A. Khortova
Veröffentlicht: (2011)
Models of Assessment of the Credit Risk of Borrowers with a Time Parameter for the Systems of Application Credit Scoring
von: K. K. Pysanets
Veröffentlicht: (2013)
von: K. K. Pysanets
Veröffentlicht: (2013)
Ovarian cancer: family cancer syndrome and clinical significance of testing of the mutations in BRCA1 and BRCA2?genes
von: O. V. Paliichuk, et al.
Veröffentlicht: (2016)
von: O. V. Paliichuk, et al.
Veröffentlicht: (2016)
Modelling Financial Mechanism of Increase of Efficiency of Personnel Labour
von: O. S. Karpets, et al.
Veröffentlicht: (2013)
von: O. S. Karpets, et al.
Veröffentlicht: (2013)
Ähnliche Einträge
-
Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., 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) -
Interactive method for automated test suit development for formal models of software systems
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) -
A survey of systematic methods for code-based test data generation
von: V. A. Volkov, et al.
Veröffentlicht: (2017)