Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

Preface
Organization
Contents
Contributed Papers
Algorithm for Mapping Layout Grids in User Interfaces: Automating the “Squint Test”
	1 Introduction
	2 Methods and Related Work
	3 Results
		3.1 The Algorithm
		3.2 The Parameters Tuning
		3.3 The Validation
	4 Discussion and Conclusion
	References
Process Mining Algorithm for Online Intrusion Detection System
	1 Introduction
	2 Related Work
	3 Dataset
	4 Process Mining and Measuring Frequency of Transitions
	5 Experiments
		5.1 Knowledge-Based Detection
		5.2 Anomaly-Based Detection
	6 Results
	7 Conclusion and Discussion
	A Pseudocode
	References
Bayesian Optimization with Time-Decaying Jitter for Hyperparameter Tuning of Neural Networks
	1 Introduction
	2 Implemented Optimization Algorithms
	3 Evaluation on Artificial Landscapes
	4 Evaluation on Semantic Image Segmentation Problem
	5 Conclusion and Future Work
	References
Investigation of the Capabilities of Artificial Neural Networks in the Problem of Classifying Objects with Dynamic Features
	1 Introduction
	2 Research
		2.1 Problem Statement
		2.2 Single Frame Classification
		2.3 Frame Sequence Classification
	3 Conclusion
	References
Analysis of Hardware-Implemented U-Net–Like Convolutional Neural Networks
	1 Introduction
	2 Related Work
	3 U-Net Models
	4 U-Net Models Training
	5 Features of the Hardware Implementation of the Proposed CNN Models
	6 The Results and Discussion of the CNN Models Analysis
		6.1 Evaluation of the Software-Implemented CNN Models
		6.2 Evaluation of the Hardware-Implemented CNN Models
	7 Conclusion
	References
Early Detection of Tasks with Uncommonly Long Run Duration in Post-trade Systems
	1 Introduction
		1.1 Goal of the Research
		1.2 Source Data Description
	2 Literature Review
		2.1 Equipment Outage Predictions
		2.2 Software Systems Failure Prediction
	3 Data Handling
		3.1 Types of Data Sets
		3.2 Activity-Based Data Set Preparation
		3.3 Data Modeling
	4 Conclusion
	5 Future Work
	References
Unpaired Image-To-Image Translation Using Transformer-Based CycleGAN
	1 Introduction
	2 Related Work
	3 The Generator and Discriminator Networks
		3.1 Generator Design
		3.2 Discriminator Design
		3.3 Detailed Architecture Configurations
	4 Experiments
		4.1 Experiment Setup
		4.2 Main Results
	5 Conclusion and Limitation
	References
Model-Based Testing Approach for Financial Technology Platforms: An Industrial Implementation
	1 Introduction
		1.1 Model-Based Testing Definition
		1.2 Related Work
		1.3 Objective
	2 Classification of the Approach
		2.1 Taxonomy-Based Classification
		2.2 Another Classification Approach
	3 Future Applications of the Model-Based Test Automation
		3.1 Passive Model
		3.2 External Exchange Stub
		3.3 Interactive Model
		3.4 Generic Model
	4 Models Related Challenges and Solutions
	5 Summary
	References
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
	1 Introduction
	2 Colored Petri Nets
	3 Event Logs
	4 Conformance Method
	5 Prototype and Experiments
	6 Conclusions
	References
SPIDER: Specification-Based Integration Defect Revealer
	1 Introduction
	2 Integration Errors
	3 Library Specification Language
	4 Main Idea
	5 Synthesis of Library Approximation
	6 Implementation
	7 Evaluation
	8 Related Work
	9 Conclusion
	References
Link Graph and Data-Driven Graphs as Complex Networks: Comparative Study
	1 Introduction
	2 Related Works
	3 Materials and Methods to Analyse Data-Driven and Link Graphs
	4 A Comparative Study of Link and Data-Driven Graphs
	5 Conclusions
	References
An Approach to Creating a Synthetic Financial Transactions Dataset Based on an NDA-Protected Dataset
	1 Introduction
	2 An Outlook on the Data and Business Task Clarification
	3 Literature Review
	4 Exploratory Data Analysis
	5 The Dataset Generation Process
		5.1 Generating Sender-Receiver-Currency Graph
		5.2 Transactions
		5.3 Obfuscating Geographies and Client Names
	6 Conclusion and Future Work
	References
Optic Flow Approximated by a Homogeneous, Three-Dimensional Point Renewal Process
	1 Introduction
	2 General Approaches and Modeling Techniques
	3 Problem Formalization
	4 Contour Model
	5 Mechanism for Obtaining the Contour Structure of the Field
	6 Conclusion
	References
Fair Mutual Exclusion for N Processes
	1 Introduction
	2 Preliminaries
	3 Peterson\'s Algorithm for N>2 Processes
		3.1 Tournament Trees
		3.2 Algorithm
		3.3 mCRL2 Encoding
		3.4 Requirements
		3.5 Verification
	4 Fair N-Process Mutual Exclusion Algorithm
		4.1 mCRL2 Encoding
		4.2 Verification
		4.3 Analysis
	5 Conclusion
	References
Data Stream Processing in Reconciliation Testing: Industrial Experience
	1 Introduction
	2 Related Work
		2.1 Data Reconciliation
		2.2 Stream Processing
		2.3 Business Context of the Solution
	3 Data Reconciliation Module check2recon
	4 Discussion and Lessons Learned
	5 Conclusion
	References
Short Papers
Detection of Flying Objects Using the YOLOv4 Convolutional Neural Network
	1 Introduction
	2 Architecture of the YOLOv4 CNN
	3 Researching of the Efficiency of Detection of Flying Objects in Images
		3.1 Preparation of Datasets and Software Implementation of the YOLOv4 CNN
		3.2 Results of Detection of Flying Objects in Images
	4 Analysis of the Obtained Results
	5 Conclusion
	References
Modern Experiment Management Systems Architecture for Scientific Big Data
	1 Introduction
		1.1 Experiment Management System
		1.2 Data Lifecycle
		1.3 Scientific Big Data Processing
	2 Generic Big Data EMS Components
		2.1 Problem Statement
		2.2 Components Description
	3 Future Objectives
	References
An Approach to Modules Similarity Definition Based on System Trace Analysis
	1 Introduction
	2 Definitions
		2.1 The System Model
		2.2 A Distinction Function of Comparable Modules
		2.3 The Modules\' Similarity
		2.4 Motivation
	3 Approach Description
	4 Data and Analysis
	5 Conclusion
	References
Author Index