Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2016
Hauptverfasser:	A. V. Kolchin, S. V. Potienko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2016
Schriftenreihe:	Artificial intelligence
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000765477
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

A survey of systematic methods for code-based test data generation
von: V. A. Volkov, et al.
Veröffentlicht: (2017)

Efficient increasing of the mutation score during model-based test suite generation
von: A. Kolchin, et al.
Veröffentlicht: (2020)

A method for business logic extraction from legacy COBOL code of industrial systems
von: A. A. Guba, et al.
Veröffentlicht: (2016)

Approach to interconnection support between Java and MS.NET programming environments
von: Ostrovskii, A.V.
Veröffentlicht: (2025)

Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

A New Species of the Genus Herina (Diptera, Ulidiidae) from Eastern Java (Indonesia)
von: E. P. Kameneva
Veröffentlicht: (2013)

A method for business logic extraction from legacy COBOL code of industrial systems
von: Guba, A.A., et al.
Veröffentlicht: (2018)

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2006)

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

Generating (2,3)-codes
von: A. V. Anisimov
Veröffentlicht: (2020)

Generating (2,3)-codes
von: Anisimov, A.V.
Veröffentlicht: (2020)

A method of statistical processing of the impedance testing method data
von: A. H. Protasov
Veröffentlicht: (2016)

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)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
von: V. G. Akulovskij, et al.
Veröffentlicht: (2015)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2017)

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

On semisimple algebra codes: generator theory
von: Martınez-Moro, Edgar
Veröffentlicht: (2018)

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

Ukrainian diaspora churches looking for cultural codes to a new immigrant generation from Ukraine
von: H. Fylypovych
Veröffentlicht: (2015)

Method for evaluating partially generated data
von: Ya. O. Isaienkov, et al.
Veröffentlicht: (2024)

Computational method of fuzzy decoding of multicomponent turbo codes in wireless data communication
von: B. V. Horlynskyi
Veröffentlicht: (2019)

Error-correcting block cyclic code parameter recognition method based on generator polynomial
von: S. N. Nikolaev, et al.
Veröffentlicht: (2021)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Reliability test of generator thermopiles made with the use of arc plasma spraying method
von: A. V. Simkin, et al.
Veröffentlicht: (2013)

Implementing circuit of control unit with two sources of codes
von: A. A. Barkalov, et al.
Veröffentlicht: (2014)

Automated generation of programs for a class of parametric neuroevolution algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)

Monte-Carlo Serpent code validation based on the experimental data from research subcritical facility
von: O. R. Trofymenko, et al.
Veröffentlicht: (2018)

Method of adaptation of cascade codes to ensure reliability of information transmission of wireless data transmission systems
von: Zaitsev, Serhii V., et al.
Veröffentlicht: (2023)

Quantum memory-driven method for test synthesis based on qubit data structures
von: V. I. Khakhanov, et al.
Veröffentlicht: (2018)

A tool to measure Fortran source code metrics using syntax analysis
von: A. M. Pokrovskyi
Veröffentlicht: (2021)

A tool to measure Fortran source code metrics using syntax analysis
von: Pokrovskyi, A.M.
Veröffentlicht: (2021)

The Method of Determining the Parameters of the Source (Point and Distributed) Using Data from a Limited Number of Seismic Stations
von: D. V. Malytskyi, et al.
Veröffentlicht: (2016)

Implementation of Efficient Processing, Coding, and Data in Industrial Monitoring Networks
von: V. Rezai, et al.
Veröffentlicht: (2014)

Catalytic heat source with a thermoelectric generator
von: L. I. Anatychuk, et al.
Veröffentlicht: (2013)

Alternative Sources of Financing for Environmental Target Programs
von: L. M. Khudolii, et al.
Veröffentlicht: (2014)

Modulo codes with summation in concurrent error detection systems. I. ability to detect errors by modulo codes in data vectors
von: V. V. Sapozhnikov, et al.
Veröffentlicht: (2016)

Using retrieval-augmented generation to elevate low-code developer skills
von: O. Nakhod
Veröffentlicht: (2023)

Generating Big Numbers for Testing Multi-Digit Arithmetic Algorithms
von: A. M. Tereshchenko, et al.
Veröffentlicht: (2021)