Buchumschlag

Interactive method for cumulative analysis of software formal models behavior

The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce as a result only one, usually first-found, path per specified property (which...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
1. Verfasser:	Kolchin, A.V.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2018
Schlagworte:	testing debugging model checking UDC 004.414.23+004.415.53+004.832.23+ 004.4'233
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/273
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Efficient increasing of the mutation score during model-based test suite generation
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)

Regression testing: techniques and future research directions
von: Moroz, H.B., et al.
Veröffentlicht: (2025)

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

Application of Petri component nets in the checking task of parallel distributed systems
von: Lukyanova, E.A.
Veröffentlicht: (2025)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Development of integrated system of scientific periodicals based on the OJS
von: Kudim, K.A., et al.
Veröffentlicht: (2017)

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)

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

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

Partial evaluation in insertion modeling system
von: Peschanenko, V.S.
Veröffentlicht: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Grid application development framework
von: Prila, O.A.
Veröffentlicht: (2025)

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Managing scientific workflows in grid systems
von: Tverdokhlib, E.M., et al.
Veröffentlicht: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)

Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)

On decompilation of VLIW executable files
von: Jakub, K.
Veröffentlicht: (2017)

Technology system integration of hardware and software data protection
von: Alishоv, N.I., et al.
Veröffentlicht: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Specialized software for simulating dynamic virtual machine consolidation
von: Zharikov, E.V., et al.
Veröffentlicht: (2022)

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

Software and technical complex for automatic georeferencing of space system «Sich-2» remote sensing data
von: Kussul, N.M., et al.
Veröffentlicht: (2025)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Formal model of scientific publication
von: Reznichenko, V.A., et al.
Veröffentlicht: (2015)

Constraint programming in insertion modeling system
von: Letichevsky, O.A., et al.
Veröffentlicht: (2025)

Optimization of parallel perceptron for central processing units
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Injection of functional dependencies using inversion of control container
von: Glybovets, M.M., et al.
Veröffentlicht: (2019)

Development of agent recommendation system of virtual university based on JADE
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)