Buchumschlag

Interactive method for automated test suit development for formal models of software systems

Gespeichert in:

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

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

Interactive method for cumulative analysis of software formal models behavior
von: A. Kolchin
Veröffentlicht: (2018)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

Formal methods of parallel software design automation
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)

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

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)

A method of test data generation from source code of Java programs
von: A. V. Kolchin, et al.
Veröffentlicht: (2016)

Formal foundations for software model to model transformation operation
von: O. V. Chebanyuk
Veröffentlicht: (2018)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

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

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Formal and adaptive methods and software tools of parallel programming
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)

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

Optimization of checking the feasibility of transitions when verifying formal models
von: Kolchin, A.V.
Veröffentlicht: (2015)

Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)

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

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)

System of automated software control of the antenna system of the satellite
von: Yehorov, Volodymyr O.
Veröffentlicht: (2024)

The system of automated formation of electrical machines computational models for the FEMM software environment
von: V. I. Milykh
Veröffentlicht: (2018)

AUTOMATED FORMATION OF CALCULATION MODELS OF TURBOGENERATORS FOR SOFTWARE ENVIRONMENT FEMM
von: Milykh, V. I., et al.
Veröffentlicht: (2015)

Automated hardware and software system for the assessment of human health
von: S. I. Lukash, et al.
Veröffentlicht: (2015)

Methods and ways for realization of the automated support testing of the integrated information security system
von: Koltyk, M. A.
Veröffentlicht: (2025)

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

Characteristics of information flows of software modules included in the software for automated support of ...
von: Borovskaya, E.N., et al.
Veröffentlicht: (2025)

Software system for automated data interpretation of potential fields (GMT-Auto)
von: Starostenko, V. I., et al.
Veröffentlicht: (2015)

Software system for automated data interpretation of potential fields (GMT-Auto)
von: V. I. Starostenko, et al.
Veröffentlicht: (2015)

ALGORITHM AND SOFTWARE FOR ARDUINO-BASED SYSTEM FOR PV MODULE TESTING
von: Gaevskii, A., et al.
Veröffentlicht: (2021)

Algorithm and software for Arduino-based system for PV module testing
von: Yu. Haievskyi, et al.
Veröffentlicht: (2021)

Choice of software to ensure automation of debtors management
von: L. Kruchak
Veröffentlicht: (2017)

Military suit Janissaries
von: V. G. Berezhinskij, et al.
Veröffentlicht: (2015)

Automation of thermal non-destructive testing process by applying the method of complexing thermographs
von: D. V. Storozhyk, et al.
Veröffentlicht: (2022)

Research of oscillation mode in automated pulsed eddy current testing systems
von: Yu. Yu. Lysenko, et al.
Veröffentlicht: (2021)

Optimization of the apparatus-programmings software for automation of the SF-20 spectrophotometer
von: A. I. Vorobets, et al.
Veröffentlicht: (2006)

Forming of software environments for support of tasks of automation of scientific researchers
von: V. Li, et al.
Veröffentlicht: (2014)

Software system for interactive representation of the results of scientific institutions
von: V. V. Prykhodniuk, et al.
Veröffentlicht: (2022)

Registration of the parameters of the automated software and hardware complex for medical application
von: Slipchenko, V. G., et al.
Veröffentlicht: (2018)

Registration of the parameters of the automated software and hardware complex for medical application
von: V. H. Slipchenko, et al.
Veröffentlicht: (2018)