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

A survey of systematic methods for code-based test data generation

Збережено в:

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

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

A method of test data generation from source code of Java programs
за авторством: A. V. Kolchin, та інші
Опубліковано: (2016)

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

Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)

A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: A. A. Guba, та інші
Опубліковано: (2016)

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

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

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

The method of parametric adaptation of the check polynomials of the component recursive systematic convulsion code turbo code
за авторством: Kurbet, Pavlo M., та інші
Опубліковано: (2024)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Tasks and methods of big data analysis (a survey)
за авторством: O. S. Balabanov
Опубліковано: (2019)

Tasks and methods of Big Data analysis (a survey)
за авторством: Balabanov, O.S.
Опубліковано: (2019)

A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: Guba, A.A., та інші
Опубліковано: (2018)

Error-correcting block cyclic code parameter recognition method based on generator polynomial
за авторством: S. N. Nikolaev, та інші
Опубліковано: (2021)

Generating (2,3)-codes
за авторством: A. V. Anisimov
Опубліковано: (2020)

Generating (2,3)-codes
за авторством: Anisimov, A.V.
Опубліковано: (2020)

A method of statistical processing of the impedance testing method data
за авторством: A. H. Protasov
Опубліковано: (2016)

Neurocontrol Methods: A Survey
за авторством: Chernodub, A.N., та інші
Опубліковано: (2025)

Quantum memory-driven method for test synthesis based on qubit data structures
за авторством: V. I. Khakhanov, та інші
Опубліковано: (2018)

Survey data on phytotrophic micobiota of the Kazakhstan Altai
за авторством: T. V. Andrianova, та інші
Опубліковано: (2009)

On semisimple algebra codes: generator theory
за авторством: Martınez-Moro, Edgar
Опубліковано: (2018)

Application of BKW Algorithm for Recovering Systematic Linear Block Codes from Samples of Noisy Codewords
за авторством: S. V. Mitin
Опубліковано: (2019)

Express-test SCL-8-NR: method for evaluation of expression of psychological distress for mass surveys
за авторством: S. Dembitskij
Опубліковано: (2016)

Express-test SCL-8-NR: method for evaluation of expression of psychological distress for mass surveys
за авторством: S. Dembitskyi
Опубліковано: (2016)

Reliability test of generator thermopiles made with the use of arc plasma spraying method
за авторством: A. V. Simkin, та інші
Опубліковано: (2013)

Systematization of the Methods for Evaluating the International Competitiveness of Enterprise
за авторством: T. V. Shtal, та інші
Опубліковано: (2016)

Cognitive base as a core of cultural code
за авторством: A. S. Synytsia
Опубліковано: (2017)

On the Early Iron Age of Jetysu: Results of Some Data Systematization
за авторством: G. S. Dzhumabekova, та інші
Опубліковано: (2018)

Monte-Carlo Serpent code validation based on the experimental data from research subcritical facility
за авторством: O. R. Trofymenko, та інші
Опубліковано: (2018)

Systematic approach to the analysis of receivables of the enterprise on the basis of statistical data
за авторством: T. Stupnytska, та інші
Опубліковано: (2020)

Method for Calculating Summary Index on Innovation for Analysis of Data from Community Innovation Survey of Enterprises
за авторством: I. A. Zhukovych
Опубліковано: (2016)

Computational method of fuzzy decoding of multicomponent turbo codes in wireless data communication
за авторством: B. V. Horlynskyi
Опубліковано: (2019)

Studies on the DNA sequence data in systematics: general issues and a model protocol
за авторством: O. V. Humovskyi

Method for evaluating partially generated data
за авторством: Ya. O. Isaienkov, та інші
Опубліковано: (2024)

Big Data Analytics: principles, trends and tasks (a survey)
за авторством: O. S. Balabanov
Опубліковано: (2019)

Big Data Analytics: principles, trends and tasks (a survey)
за авторством: Balabanov, O.S.
Опубліковано: (2019)

Kursk magnetic anomaly: analysis and interpretation of the anomalous magnetic field based on the ground and satellite survey data
за авторством: M. I. Orliuk, та інші
Опубліковано: (2013)

The new data on distribution and systematics of some species (Brassicaceae) of the florae of Ukraine
за авторством: A. P. Ilinska
Опубліковано: (2005)

Taxi drivers&#039; health state survey based on the results of questionnaire survey
за авторством: T. L. Liebiedieva, та інші
Опубліковано: (2016)

Search for transient signals in the data of Decameter Survey of the Northern Sky
за авторством: I. P. Kravtsov, та інші
Опубліковано: (2016)

Survey of informetry methods and technologies
за авторством: Yu. M. Hlavcheva, та інші
Опубліковано: (2019)