Cover Image

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

Saved in:

Bibliographic Details
Date:	2018
Main Authors:	A. V. Kolchin, S. V. Potienko
Format:	Article
Language:	English
Published:	2018
Series:	Artificial intelligence
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000999777
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 | LibNAS

Similar Items

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Efficient increasing of the mutation score during model-based test suite generation
by: A. Kolchin, et al.
Published: (2020)

Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

Formal methods of parallel software design automation
by: Doroshenko, A.Yu., et al.
Published: (2020)

Formal methods of parallel software design automation
by: Yu. Doroshenko, et al.
Published: (2020)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

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

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

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)

A method of test data generation from source code of Java programs
by: A. V. Kolchin, et al.
Published: (2016)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Formal foundations for software model to model transformation operation
by: O. V. Chebanyuk
Published: (2018)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

A survey of systematic methods for code-based test data generation
by: V. A. Volkov, et al.
Published: (2017)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017)

Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)

Technological Model for the Process of Software Automated Production
by: Slabospitska, O.O.
Published: (2025)

The system of automated formation of electrical machines computational models for the FEMM software environment
by: V. I. Milykh
Published: (2018)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

System of automated software control of the antenna system of the satellite
by: Yehorov, Volodymyr O.
Published: (2024)

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

AUTOMATED FORMATION OF CALCULATION MODELS OF TURBOGENERATORS FOR SOFTWARE ENVIRONMENT FEMM
by: Milykh, V. I., et al.
Published: (2015)

Automated hardware and software system for the assessment of human health
by: S. I. Lukash, et al.
Published: (2015)

Methods and ways for realization of the automated support testing of the integrated information security system
by: Koltyk, M. A.
Published: (2025)

A method for business logic extraction from legacy COBOL code of industrial systems
by: A. A. Guba, et al.
Published: (2016)

Characteristics of information flows of software modules included in the software for automated support of ...
by: Borovskaya, E.N., et al.
Published: (2025)

Software system for automated data interpretation of potential fields (GMT-Auto)
by: Starostenko, V. I., et al.
Published: (2015)

Software system for automated data interpretation of potential fields (GMT-Auto)
by: V. I. Starostenko, et al.
Published: (2015)

ALGORITHM AND SOFTWARE FOR ARDUINO-BASED SYSTEM FOR PV MODULE TESTING
by: Gaevskii, A., et al.
Published: (2021)

Choice of software to ensure automation of debtors management
by: L. Kruchak
Published: (2017)

Algorithm and software for Arduino-based system for PV module testing
by: Yu. Haievskyi, et al.
Published: (2021)

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

Military suit Janissaries
by: V. G. Berezhinskij, et al.
Published: (2015)

Research of oscillation mode in automated pulsed eddy current testing systems
by: Yu. Yu. Lysenko, et al.
Published: (2021)

Optimization of the apparatus-programmings software for automation of the SF-20 spectrophotometer
by: A. I. Vorobets, et al.
Published: (2006)

Forming of software environments for support of tasks of automation of scientific researchers
by: V. Li, et al.
Published: (2014)

Registration of the parameters of the automated software and hardware complex for medical application
by: Slipchenko, V. G., et al.
Published: (2018)