A survey of systematic methods for code-based test data generation
Gespeichert in:
| Datum: | 2017 |
|---|---|
| Hauptverfasser: | V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
2017
|
| Schriftenreihe: | Artificial intelligence |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0000864496 |
| 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 method of test data generation from source code of Java programs
von: A. V. Kolchin, et al.
Veröffentlicht: (2016)
von: A. V. Kolchin, et al.
Veröffentlicht: (2016)
Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)
von: Kolchin, A., et al.
Veröffentlicht: (2020)
Efficient increasing of the mutation score during model-based test suite generation
von: A. Kolchin, et al.
Veröffentlicht: (2020)
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)
von: A. A. Guba, et al.
Veröffentlicht: (2016)
Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)
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)
von: A. V. Kolchin, et al.
Veröffentlicht: (2015)
Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)
von: Kolchin, A., et al.
Veröffentlicht: (2020)
Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)
The method of parametric adaptation of the check polynomials of the component recursive systematic convulsion code turbo code
von: Kurbet, Pavlo M., et al.
Veröffentlicht: (2024)
von: Kurbet, Pavlo M., et al.
Veröffentlicht: (2024)
Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)
A method for business logic extraction from legacy COBOL code of industrial systems
von: Guba, A.A., et al.
Veröffentlicht: (2018)
von: Guba, A.A., et al.
Veröffentlicht: (2018)
Tasks and methods of big data analysis (a survey)
von: O. S. Balabanov
Veröffentlicht: (2019)
von: O. S. Balabanov
Veröffentlicht: (2019)
Tasks and methods of Big Data analysis (a survey)
von: Balabanov, O.S.
Veröffentlicht: (2019)
von: Balabanov, O.S.
Veröffentlicht: (2019)
Error-correcting block cyclic code parameter recognition method based on generator polynomial
von: S. N. Nikolaev, et al.
Veröffentlicht: (2021)
von: S. N. Nikolaev, et al.
Veröffentlicht: (2021)
Generating (2,3)-codes
von: Anisimov, A.V.
Veröffentlicht: (2020)
von: Anisimov, A.V.
Veröffentlicht: (2020)
Generating (2,3)-codes
von: A. V. Anisimov
Veröffentlicht: (2020)
von: A. V. Anisimov
Veröffentlicht: (2020)
A method of statistical processing of the impedance testing method data
von: A. H. Protasov
Veröffentlicht: (2016)
von: A. H. Protasov
Veröffentlicht: (2016)
Neurocontrol Methods: A Survey
von: Chernodub, A.N., et al.
Veröffentlicht: (2025)
von: Chernodub, A.N., et al.
Veröffentlicht: (2025)
Polynomials generating Hamming codes
von: Barashko, A. S., et al.
Veröffentlicht: (1993)
von: Barashko, A. S., et al.
Veröffentlicht: (1993)
Quantum memory-driven method for test synthesis based on qubit data structures
von: V. I. Khakhanov, et al.
Veröffentlicht: (2018)
von: V. I. Khakhanov, et al.
Veröffentlicht: (2018)
Survey data on phytotrophic micobiota of the Kazakhstan Altai
von: T. V. Andrianova, et al.
Veröffentlicht: (2009)
von: T. V. Andrianova, et al.
Veröffentlicht: (2009)
Systematization of the Methods for Evaluating the International Competitiveness of Enterprise
von: T. V. Shtal, et al.
Veröffentlicht: (2016)
von: T. V. Shtal, et al.
Veröffentlicht: (2016)
Application of BKW Algorithm for Recovering Systematic Linear Block Codes from Samples of Noisy Codewords
von: S. V. Mitin
Veröffentlicht: (2019)
von: S. V. Mitin
Veröffentlicht: (2019)
Cognitive base as a core of cultural code
von: A. S. Synytsia
Veröffentlicht: (2017)
von: A. S. Synytsia
Veröffentlicht: (2017)
Reliability test of generator thermopiles made with the use of arc plasma spraying method
von: A. V. Simkin, et al.
Veröffentlicht: (2013)
von: A. V. Simkin, et al.
Veröffentlicht: (2013)
On the Early Iron Age of Jetysu: Results of Some Data Systematization
von: G. S. Dzhumabekova, et al.
Veröffentlicht: (2018)
von: G. S. Dzhumabekova, et al.
Veröffentlicht: (2018)
Express-test SCL-8-NR: method for evaluation of expression of psychological distress for mass surveys
von: S. Dembitskij
Veröffentlicht: (2016)
von: S. Dembitskij
Veröffentlicht: (2016)
Express-test SCL-8-NR: method for evaluation of expression of psychological distress for mass surveys
von: S. Dembitskyi
Veröffentlicht: (2016)
von: S. Dembitskyi
Veröffentlicht: (2016)
Monte-Carlo Serpent code validation based on the experimental data from research subcritical facility
von: O. R. Trofymenko, et al.
Veröffentlicht: (2018)
von: O. R. Trofymenko, et al.
Veröffentlicht: (2018)
On semisimple algebra codes: generator theory
von: Martınez-Moro, Edgar
Veröffentlicht: (2018)
von: Martınez-Moro, Edgar
Veröffentlicht: (2018)
On semisimple algebra codes: generator theory
von: Martınez-Moro, E.
Veröffentlicht: (2007)
von: Martınez-Moro, E.
Veröffentlicht: (2007)
Method for Calculating Summary Index on Innovation for Analysis of Data from Community Innovation Survey of Enterprises
von: I. A. Zhukovych
Veröffentlicht: (2016)
von: I. A. Zhukovych
Veröffentlicht: (2016)
Systematic approach to the analysis of receivables of the enterprise on the basis of statistical data
von: T. Stupnytska, et al.
Veröffentlicht: (2020)
von: T. Stupnytska, et al.
Veröffentlicht: (2020)
Computational method of fuzzy decoding of multicomponent turbo codes in wireless data communication
von: B. V. Horlynskyi
Veröffentlicht: (2019)
von: B. V. Horlynskyi
Veröffentlicht: (2019)
Studies on the DNA sequence data in systematics: general issues and a model protocol
von: O. V. Humovskyi
von: O. V. Humovskyi
Kursk magnetic anomaly: analysis and interpretation of the anomalous magnetic field based on the ground and satellite survey data
von: M. I. Orliuk, et al.
Veröffentlicht: (2013)
von: M. I. Orliuk, et al.
Veröffentlicht: (2013)
Taxi drivers' health state survey based on the results of questionnaire survey
von: T. L. Liebiedieva, et al.
Veröffentlicht: (2016)
von: T. L. Liebiedieva, et al.
Veröffentlicht: (2016)
The new data on distribution and systematics of some species (Brassicaceae) of the florae of Ukraine
von: A. P. Ilinska
Veröffentlicht: (2005)
von: A. P. Ilinska
Veröffentlicht: (2005)
Method for evaluating partially generated data
von: Ya. O. Isaienkov, et al.
Veröffentlicht: (2024)
von: Ya. O. Isaienkov, et al.
Veröffentlicht: (2024)
Big Data Analytics: principles, trends and tasks (a survey)
von: Balabanov, O.S.
Veröffentlicht: (2019)
von: Balabanov, O.S.
Veröffentlicht: (2019)
Ähnliche Einträge
-
A method of test data generation from source code of Java programs
von: A. V. Kolchin, et al.
Veröffentlicht: (2016) -
Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020) -
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) -
Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)