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)
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)
A method of test data generation from source code of Java programs
за авторством: A. V. Kolchin, та інші
Опубліковано: (2016)
за авторством: A. V. Kolchin, та інші
Опубліковано: (2016)
A survey of systematic methods for code-based test data generation
за авторством: V. A. Volkov, та інші
Опубліковано: (2017)
за авторством: V. A. Volkov, та інші
Опубліковано: (2017)
Selection of Econometric Instruments when Building a Scoring Model Based on Dummy Variables
за авторством: S. S. Savina, та інші
Опубліковано: (2023)
за авторством: S. S. Savina, та інші
Опубліковано: (2023)
A practical approach to validation of credit scoring models
за авторством: N. Lukashevich
Опубліковано: (2014)
за авторством: N. Lukashevich
Опубліковано: (2014)
The Information System of Credit Scoring
за авторством: S. M. Mordovtsev, та інші
Опубліковано: (2019)
за авторством: S. M. Mordovtsev, та інші
Опубліковано: (2019)
Testing of a new docking scoring function on the example of inhibitors of protein tyrosine phosphatase 1B
за авторством: Yu. Tanchuk, та інші
Опубліковано: (2015)
за авторством: Yu. Tanchuk, та інші
Опубліковано: (2015)
Scoring modeling based on neural networks for determining a bank borrower's rating
за авторством: O. M. Vasyliev
Опубліковано: (2020)
за авторством: O. M. Vasyliev
Опубліковано: (2020)
Statistical and Optimization Methods in Credit Scoring
за авторством: V. O. Stovba
Опубліковано: (2022)
за авторством: V. O. Stovba
Опубліковано: (2022)
Military suit Janissaries
за авторством: V. G. Berezhinskij, та інші
Опубліковано: (2015)
за авторством: V. G. Berezhinskij, та інші
Опубліковано: (2015)
Molecular genetic testing of FGFR3 gene mutation in the differential diagnosis of achondroplasia and hypochondroplasia
за авторством: I. M. Dmytruk, та інші
Опубліковано: (2015)
за авторством: I. M. Dmytruk, та інші
Опубліковано: (2015)
Creating a scoring model to assess risk events on the labor market
за авторством: Ya. I. Yuryk, та інші
Опубліковано: (2016)
за авторством: Ya. I. Yuryk, та інші
Опубліковано: (2016)
INCREASE OF ENERGY EFFICIENCY OF TESTING OF TRACTION ELECTRIC MACHINES OF DIRECT AND PULSATING CURRENT
за авторством: Afanasov, A. M.
Опубліковано: (2015)
за авторством: Afanasov, A. M.
Опубліковано: (2015)
An epidemic model with viral mutations and vaccine interventions
за авторством: Y. A. Adi, та інші
Опубліковано: (2023)
за авторством: Y. A. Adi, та інші
Опубліковано: (2023)
Semantic Score of a Novel Pointed at Music
за авторством: S. P. Matsenka
Опубліковано: (2013)
за авторством: S. P. Matsenka
Опубліковано: (2013)
Resources for increased functionality of MapInfo GIS to automate and increase the efficiency of electronic maps generating in forestry
за авторством: L. V. Alekseeva, та інші
Опубліковано: (2014)
за авторством: L. V. Alekseeva, та інші
Опубліковано: (2014)
Tournament crowding genetic algorithms based on Gauss mutation
за авторством: V. P. Shylo, та інші
Опубліковано: (2020)
за авторством: V. P. Shylo, та інші
Опубліковано: (2020)
Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
за авторством: Traum, M. J., та інші
Опубліковано: (2016)
за авторством: Traum, M. J., та інші
Опубліковано: (2016)
Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
за авторством: Traum, M. J., та інші
Опубліковано: (2016)
за авторством: Traum, M. J., та інші
Опубліковано: (2016)
Increasing the efficiency of cryogenic automobile power systems using thermoelectric generators
за авторством: M. J. Traum, та інші
Опубліковано: (2011)
за авторством: M. J. Traum, та інші
Опубліковано: (2011)
Increase of efficiency of acceleration of the test electron bunch by sequence of electron bunches in the dielectric resonator
за авторством: Markov, P.I., та інші
Опубліковано: (2018)
за авторством: Markov, P.I., та інші
Опубліковано: (2018)
A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2015)
за авторством: A. V. Kolchin, та інші
Опубліковано: (2015)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
The genetic control of spontaneous mutation changes in Drosophilfi melanogaster Meig. during aging
за авторством: A. V. Nekrasova, та інші
Опубліковано: (2000)
за авторством: A. V. Nekrasova, та інші
Опубліковано: (2000)
Scoring card’s development for banking activities risks’ analysis
за авторством: Kuznietsova, N. V.
Опубліковано: (2017)
за авторством: Kuznietsova, N. V.
Опубліковано: (2017)
Score of rhythm in Marko Cheremshyna's prose
за авторством: L. Horbolis
Опубліковано: (2015)
за авторством: L. Horbolis
Опубліковано: (2015)
Integrated score for sustainability of insurance companies at the regional level
за авторством: N. M. Bilous
Опубліковано: (2015)
за авторством: N. M. Bilous
Опубліковано: (2015)
Biotechnological methods score efficacy the cryopreservation of boar semen
за авторством: S. I. Kovtun, та інші
Опубліковано: (2017)
за авторством: S. I. Kovtun, та інші
Опубліковано: (2017)
Increase in thermal generator efficiency with the use of human thermal energy in dynamic modes
за авторством: L. I. Anatychuk, та інші
Опубліковано: (2014)
за авторством: L. I. Anatychuk, та інші
Опубліковано: (2014)
Ovarian cancer: family cancer syndrome and clinical significance of testing of the mutations in BRCA1 and BRCA2?genes
за авторством: O. V. Paliichuk, та інші
Опубліковано: (2016)
за авторством: O. V. Paliichuk, та інші
Опубліковано: (2016)
Models of Assessment of the Credit Risk of Borrowers with a Time Parameter for the Systems of Application Credit Scoring
за авторством: K. K. Pysanets
Опубліковано: (2013)
за авторством: K. K. Pysanets
Опубліковано: (2013)
Symmetric code and genetic mutations
за авторством: B. A. Beletskij, та інші
Опубліковано: (2015)
за авторством: B. A. Beletskij, та інші
Опубліковано: (2015)
Symmetric code and genetic mutations
за авторством: I. V. Sergienko, та інші
Опубліковано: (2016)
за авторством: I. V. Sergienko, та інші
Опубліковано: (2016)
Clinical and genetic features of ARS- and MYH-mutation-negative patients with multiple polyposis of large bowel that tested by conventional methods
за авторством: M. R. Lozynska, та інші
Опубліковано: (2014)
за авторством: M. R. Lozynska, та інші
Опубліковано: (2014)
Scoring is an expert method for predicting the credit capacity of social assets
за авторством: O. L. Olkhovska, та інші
Опубліковано: (2019)
за авторством: O. L. Olkhovska, та інші
Опубліковано: (2019)
Creation of Film Score Composers in the Context of International Film Festivals
за авторством: L. Novikova
Опубліковано: (2021)
за авторством: L. Novikova
Опубліковано: (2021)
A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)
за авторством: A. V. Kolchin
Опубліковано: (2013)
Efficiency of the use of mutations, induced on radiation-contaminated areas, when improving winter wheat cultivars
за авторством: R. A. Yakymchuk
Опубліковано: (2018)
за авторством: R. A. Yakymchuk
Опубліковано: (2018)
On the mutation loops of valued quivers
за авторством: Saleh, I.
Опубліковано: (2023)
за авторством: Saleh, I.
Опубліковано: (2023)
Схожі ресурси
-
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)