Tools and Methods of Program Analysis

Contributed Papers.-&nbsp;Algorithm for Mapping Layout Grids in User Interfaces: Automating the “Squint Test”.-&nbsp;Process Mining Algorithm for Online Intrusion Detection System.-&nbsp;Bayesian Optimization with Time-Decaying Jitter for Hyperparameter Tuning of Neural Networks.-&nbsp;Investigation of the capabilities of artificial neural networks in the problem of classifying objects with dynamic features.-&nbsp;Analysis of Hardware-Implemented U-Net–like Convolutional Neural Networks.- Early Detection of Tasks With Uncommonly Long Run Duration in Post-Trade Systems.-&nbsp;Unpaired Image-to-Image Translation using Transformer-based CycleGAN.-&nbsp;Model-based Testing Approach for Financial Technology Platforms: An Industrial Implementation.-&nbsp;Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives.-&nbsp;SPIDER: Specification-based Integration Defect Revealer.-&nbsp;Link graph and data-driven graphs as complex networks: comparative study.-&nbsp;An approach to create a synthetic financial transactions dataset based on NDA-protected dataset.-&nbsp;Optic Flow approximated by a homogeneous, three- dimensional Point Renewal Process.-&nbsp;Fair Mutual Exclusion for N Processes.-&nbsp;Data Stream Processing in Reconciliation Testing: Industrial Experience.-&nbsp;Short Papers.-&nbsp;Detection of Flying Objects Using the YOLOv4 Convolutional Neural Network.-&nbsp;Modern Experiment Management Systems Architecture for Scientific Big Data.-&nbsp;An Approach to Modules Similarity Definition Based on the System Log Analysis.<br>