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: A. Kolchin, et al.
Published: (2020)

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., 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.
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 guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

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

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)

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

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

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

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

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: Chebanyuk, O.V.
Published: (2018)

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)

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)

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)

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

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

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)

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

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

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

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

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

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

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)

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

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

About a system approach to the development and ground tests of on-board automated naval complexes for detection and target designation.
by: A. G. Dodonov, et al.
Published: (2017)

About a system approach to the development and ground tests of on-board automated naval complexes for detection and target designation
by: Dodonov, A. G., et al.
Published: (2017)

Methods and tools for developing an information system for validation of non-formal learning outcomes
by: S. M. Pryima, et al.
Published: (2020)

Api test automation of search functionality with artificial intelligence
by: R. Mysiuk, et al.
Published: (2022)

Software system for interactive representation of the results of scientific institutions
by: V. V. Prykhodniuk, et al.
Published: (2022)

Systems approach to problems of the design of automated test complexes. Report 2. Determination of system parameters
by: Grishko, V.G.
Published: (1985)