Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	A. V. Kolchin, S. V. Potienko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2018
Назва видання:	Artificial intelligence
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000999777
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)

Efficient increasing of the mutation score during model-based test suite generation
за авторством: A. Kolchin, та інші
Опубліковано: (2020)

Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

Formal methods of parallel software design automation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2020)

Formal methods of parallel software design automation
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2015)

A method of test data generation from source code of Java programs
за авторством: A. V. Kolchin, та інші
Опубліковано: (2016)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Formal foundations for software model to model transformation operation
за авторством: O. V. Chebanyuk
Опубліковано: (2018)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

A survey of systematic methods for code-based test data generation
за авторством: V. A. Volkov, та інші
Опубліковано: (2017)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Formal and adaptive methods and software tools of parallel programming
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)

The system of automated formation of electrical machines computational models for the FEMM software environment
за авторством: V. I. Milykh
Опубліковано: (2018)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

System of automated software control of the antenna system of the satellite
за авторством: Yehorov, Volodymyr O.
Опубліковано: (2024)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

AUTOMATED FORMATION OF CALCULATION MODELS OF TURBOGENERATORS FOR SOFTWARE ENVIRONMENT FEMM
за авторством: Milykh, V. I., та інші
Опубліковано: (2015)

Automated hardware and software system for the assessment of human health
за авторством: S. I. Lukash, та інші
Опубліковано: (2015)

Methods and ways for realization of the automated support testing of the integrated information security system
за авторством: Koltyk, M. A.
Опубліковано: (2025)

A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: A. A. Guba, та інші
Опубліковано: (2016)

Characteristics of information flows of software modules included in the software for automated support of ...
за авторством: Borovskaya, E.N., та інші
Опубліковано: (2025)

Software system for automated data interpretation of potential fields (GMT-Auto)
за авторством: Starostenko, V. I., та інші
Опубліковано: (2015)

Software system for automated data interpretation of potential fields (GMT-Auto)
за авторством: V. I. Starostenko, та інші
Опубліковано: (2015)

ALGORITHM AND SOFTWARE FOR ARDUINO-BASED SYSTEM FOR PV MODULE TESTING
за авторством: Gaevskii, A., та інші
Опубліковано: (2021)

Choice of software to ensure automation of debtors management
за авторством: L. Kruchak
Опубліковано: (2017)

Algorithm and software for Arduino-based system for PV module testing
за авторством: Yu. Haievskyi, та інші
Опубліковано: (2021)

Automation of thermal non-destructive testing process by applying the method of complexing thermographs
за авторством: D. V. Storozhyk, та інші
Опубліковано: (2022)

Military suit Janissaries
за авторством: V. G. Berezhinskij, та інші
Опубліковано: (2015)

Research of oscillation mode in automated pulsed eddy current testing systems
за авторством: Yu. Yu. Lysenko, та інші
Опубліковано: (2021)

Optimization of the apparatus-programmings software for automation of the SF-20 spectrophotometer
за авторством: A. I. Vorobets, та інші
Опубліковано: (2006)

Forming of software environments for support of tasks of automation of scientific researchers
за авторством: V. Li, та інші
Опубліковано: (2014)

Registration of the parameters of the automated software and hardware complex for medical application
за авторством: Slipchenko, V. G., та інші
Опубліковано: (2018)