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

A method of test data generation from source code of Java programs

Збережено в:

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

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

A survey of systematic methods for code-based test data generation
за авторством: V. A. Volkov, та інші
Опубліковано: (2017)

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
за авторством: A. Kolchin, та інші
Опубліковано: (2020)

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

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

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

Approach to interconnection support between Java and MS.NET programming environments
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)

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

A New Species of the Genus Herina (Diptera, Ulidiidae) from Eastern Java (Indonesia)
за авторством: E. P. Kameneva
Опубліковано: (2013)

A New Species of the Genus Herina (Diptera, Ulidiidae) from Eastern Java (Indonesia
за авторством: Kameneva, E.P.
Опубліковано: (2013)

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

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

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

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

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

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2015)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

Polynomials generating Hamming codes
за авторством: Barashko, A. S., та інші
Опубліковано: (1993)

Метод генерации тестовых данных по исходному коду Java программ
за авторством: Колчин, А.В., та інші
Опубліковано: (2016)

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

Подход к обеспечению взаимодействия программных средств JAVA И MS.NET
за авторством: Островский, А.В.
Опубліковано: (2011)

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

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

Ukrainian diaspora churches looking for cultural codes to a new immigrant generation from Ukraine
за авторством: H. Fylypovych
Опубліковано: (2015)

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

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

Applying of the program codes for modeling the electron accelerator driven subcritical assembly
за авторством: Ayzatskiy, M.I., та інші
Опубліковано: (2005)

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

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

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

Система ПАРКС-JAVA як засіб вирішення паралельних алгоритмів на комп'ютерній мережі
за авторством: Анісімов, А.В., та інші
Опубліковано: (2004)

Implementing circuit of control unit with two sources of codes
за авторством: A. A. Barkalov, та інші
Опубліковано: (2014)

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

Automated generation of programs for a class of parametric neuroevolution algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Method of adaptation of cascade codes to ensure reliability of information transmission of wireless data transmission systems
за авторством: Zaitsev, Serhii V., та інші
Опубліковано: (2023)

The Method of Determining the Parameters of the Source (Point and Distributed) Using Data from a Limited Number of Seismic Stations
за авторством: D. V. Malytskyi, та інші
Опубліковано: (2016)

Применение JAVA-технологий и ХМL для реализации приложений в области электронного бизнеса
за авторством: Плескач, В.Л., та інші
Опубліковано: (2004)

Моделювання глибини розплавленого шару на поверхні напівпровідника за допомогою крос-платформного додатку JAVA
за авторством: Галочкін, О.В., та інші
Опубліковано: (2022)

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

Generation of compensated ion beams from source with oscillating electrons
за авторством: Borisko, V.N., та інші
Опубліковано: (2000)