International Workshop-Conference TMPA-2019

TMPA-2019 is the 5th International Conference on Software Testing, Machine Learning and Complex Process Analysis.

TMPA-2019 focuses on innovations in software testing, verification and assessment, including applications of the latest data science methods to the analysis of software quality. The event was held in partnership with the Department of Computer Science of Ivane Javakhishvili Tbilisi State University (TSU) and was hosted by TSU.

The conference is aimed at senior and postgraduate students, young and established scientists from academia, as well as industry practitioners whose research interests involve software development, testing and verification, complex process analysis, AI and machine learning and related fields.

The TMPA-2019 program included, but was not limited to, the following topics:

  • AI and Machine Learning in Software Testing
  • Data-driven Software Testing
  • High-load and High-availability Systems
  • Process Mining
  • Static Program Analysis and Verification
  • System Log Analysis
  • Testing and Analysis of Parallel and Distributed Systems
  • Tools for Software Analysis, Testing and Verification
  • Visualization of Complex Data

Participation in TMPA-2019 is free. The official language of the event is English.

The photos from TMPA-2019 are available on the event's website.

The videos of the presentations will be available soon.

ORGANIZERS & PARTNERS

Related materials

TMPA-2019: Conference Opening
More video
TMPA-2019: Passive Testing Techniques in Practice
More video
TMPA-2019: Petri Nets and Their Extensions - Part 1
More video
TMPA-2019: Petri Nets and Their Extensions - Part 2
More video
TMPA-2019: Applications of Computational Topology to Artificial Intelligence
More video
TMPA-2019: Partial Specifications of Libraries: Applications in Software Engineering
More video
TMPA-2019: Static Taint Analysis for JavaScript Programs
More video
TMPA-2019: Machine Learning and Value Generation in Software Development: A Survey
More video
TMPA-2019: Generation of Testing Metrics by Using Cluster Analysis of Bug Reports
More video
TMPA-2019: Multi-perspective Process Mining with Embedding Configurations into DB-based Event Logs
More video
TMPA-2019: Pre-processing Network Messages of Trading Systems into Event Logs for Process Mining
More video
TMPA-2019: Building an Adaptive Log Classification System. An Industrial Report
More video
TMPA-2019: Time Series Classification Based on Visualization of Recurrence Plots
More video
TMPA-2019: On DB-nets and Their Applications
More video
TMPA-2019: Relation between Test Coverage and Timed Automata Model Structure
More video
TMPA-2019: About Using of Strings Similarity Conception in Software Engineering
More video
TMPA-2019: Random Graph Model for Structural Analysis of Online Communications
More video
TMPA-2019: Chaotic Time Series Prediction: Run for the Horizon
More video
TMPA-2019: Development of Test Suite with Formally Verified FSM Coverage: A Case Study
More video
TMPA-2019: Making Bounded Model Checking Interprocedural in (Static Analysis) Style
More video
TMPA-2019: Panel Discussion on Software Quality Assurance
More video