A survey of systematic methods for code-based test data generation
Saved in:
| Date: | 2017 |
|---|---|
| Main Authors: | V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko |
| Format: | Article |
| Language: | English |
| Published: |
2017
|
| Series: | Artificial intelligence |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0000864496 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
A method of test data generation from source code of Java programs
by: A. V. Kolchin, et al.
Published: (2016)
by: A. V. Kolchin, et al.
Published: (2016)
Efficient increasing of the mutation score during model-based test suite generation
by: A. Kolchin, et al.
Published: (2020)
by: A. Kolchin, et al.
Published: (2020)
Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)
by: A. V. Kolchin, et al.
Published: (2018)
A method for business logic extraction from legacy COBOL code of industrial systems
by: A. A. Guba, et al.
Published: (2016)
by: A. A. Guba, et al.
Published: (2016)
A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
by: A. V. Kolchin, et al.
Published: (2015)
by: A. V. Kolchin, et al.
Published: (2015)
Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)
by: Kolchin, A., et al.
Published: (2020)
Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)
by: Potiyenko, S.V., et al.
Published: (2023)
The method of parametric adaptation of the check polynomials of the component recursive systematic convulsion code turbo code
by: Kurbet, Pavlo M., et al.
Published: (2024)
by: Kurbet, Pavlo M., et al.
Published: (2024)
Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)
by: Kolchin, A.V., et al.
Published: (2015)
Tasks and methods of big data analysis (a survey)
by: O. S. Balabanov
Published: (2019)
by: O. S. Balabanov
Published: (2019)
Tasks and methods of Big Data analysis (a survey)
by: Balabanov, O.S.
Published: (2019)
by: Balabanov, O.S.
Published: (2019)
A method for business logic extraction from legacy COBOL code of industrial systems
by: Guba, A.A., et al.
Published: (2018)
by: Guba, A.A., et al.
Published: (2018)
Error-correcting block cyclic code parameter recognition method based on generator polynomial
by: S. N. Nikolaev, et al.
Published: (2021)
by: S. N. Nikolaev, et al.
Published: (2021)
Generating (2,3)-codes
by: A. V. Anisimov
Published: (2020)
by: A. V. Anisimov
Published: (2020)
Generating (2,3)-codes
by: Anisimov, A.V.
Published: (2020)
by: Anisimov, A.V.
Published: (2020)
A method of statistical processing of the impedance testing method data
by: A. H. Protasov
Published: (2016)
by: A. H. Protasov
Published: (2016)
Neurocontrol Methods: A Survey
by: Chernodub, A.N., et al.
Published: (2025)
by: Chernodub, A.N., et al.
Published: (2025)
Quantum memory-driven method for test synthesis based on qubit data structures
by: V. I. Khakhanov, et al.
Published: (2018)
by: V. I. Khakhanov, et al.
Published: (2018)
Survey data on phytotrophic micobiota of the Kazakhstan Altai
by: T. V. Andrianova, et al.
Published: (2009)
by: T. V. Andrianova, et al.
Published: (2009)
On semisimple algebra codes: generator theory
by: Martınez-Moro, Edgar
Published: (2018)
by: Martınez-Moro, Edgar
Published: (2018)
Application of BKW Algorithm for Recovering Systematic Linear Block Codes from Samples of Noisy Codewords
by: S. V. Mitin
Published: (2019)
by: S. V. Mitin
Published: (2019)
Express-test SCL-8-NR: method for evaluation of expression of psychological distress for mass surveys
by: S. Dembitskij
Published: (2016)
by: S. Dembitskij
Published: (2016)
Express-test SCL-8-NR: method for evaluation of expression of psychological distress for mass surveys
by: S. Dembitskyi
Published: (2016)
by: S. Dembitskyi
Published: (2016)
Reliability test of generator thermopiles made with the use of arc plasma spraying method
by: A. V. Simkin, et al.
Published: (2013)
by: A. V. Simkin, et al.
Published: (2013)
Systematization of the Methods for Evaluating the International Competitiveness of Enterprise
by: T. V. Shtal, et al.
Published: (2016)
by: T. V. Shtal, et al.
Published: (2016)
Cognitive base as a core of cultural code
by: A. S. Synytsia
Published: (2017)
by: A. S. Synytsia
Published: (2017)
On the Early Iron Age of Jetysu: Results of Some Data Systematization
by: G. S. Dzhumabekova, et al.
Published: (2018)
by: G. S. Dzhumabekova, et al.
Published: (2018)
Monte-Carlo Serpent code validation based on the experimental data from research subcritical facility
by: O. R. Trofymenko, et al.
Published: (2018)
by: O. R. Trofymenko, et al.
Published: (2018)
Systematic approach to the analysis of receivables of the enterprise on the basis of statistical data
by: T. Stupnytska, et al.
Published: (2020)
by: T. Stupnytska, et al.
Published: (2020)
Method for Calculating Summary Index on Innovation for Analysis of Data from Community Innovation Survey of Enterprises
by: I. A. Zhukovych
Published: (2016)
by: I. A. Zhukovych
Published: (2016)
Computational method of fuzzy decoding of multicomponent turbo codes in wireless data communication
by: B. V. Horlynskyi
Published: (2019)
by: B. V. Horlynskyi
Published: (2019)
Studies on the DNA sequence data in systematics: general issues and a model protocol
by: O. V. Humovskyi
by: O. V. Humovskyi
Method for evaluating partially generated data
by: Ya. O. Isaienkov, et al.
Published: (2024)
by: Ya. O. Isaienkov, et al.
Published: (2024)
Big Data Analytics: principles, trends and tasks (a survey)
by: O. S. Balabanov
Published: (2019)
by: O. S. Balabanov
Published: (2019)
Big Data Analytics: principles, trends and tasks (a survey)
by: Balabanov, O.S.
Published: (2019)
by: Balabanov, O.S.
Published: (2019)
Kursk magnetic anomaly: analysis and interpretation of the anomalous magnetic field based on the ground and satellite survey data
by: M. I. Orliuk, et al.
Published: (2013)
by: M. I. Orliuk, et al.
Published: (2013)
The new data on distribution and systematics of some species (Brassicaceae) of the florae of Ukraine
by: A. P. Ilinska
Published: (2005)
by: A. P. Ilinska
Published: (2005)
Taxi drivers' health state survey based on the results of questionnaire survey
by: T. L. Liebiedieva, et al.
Published: (2016)
by: T. L. Liebiedieva, et al.
Published: (2016)
Search for transient signals in the data of Decameter Survey of the Northern Sky
by: I. P. Kravtsov, et al.
Published: (2016)
by: I. P. Kravtsov, et al.
Published: (2016)
Survey of informetry methods and technologies
by: Yu. M. Hlavcheva, et al.
Published: (2019)
by: Yu. M. Hlavcheva, et al.
Published: (2019)
Similar Items
-
A method of test data generation from source code of Java programs
by: A. V. Kolchin, et al.
Published: (2016) -
Efficient increasing of the mutation score during model-based test suite generation
by: A. Kolchin, et al.
Published: (2020) -
Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018) -
A method for business logic extraction from legacy COBOL code of industrial systems
by: A. A. Guba, et al.
Published: (2016) -
A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
by: A. V. Kolchin, et al.
Published: (2015)