Skip to main content
SpringerLink
Log in

Tools and Methods of Program Analysis

5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Anna Kalenkova

    1. University of Melbourne, Melbourne, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jose A. Lozano

    1. Intelligent Systems Group, UPV/EHU, Donostia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Rostislav Yavorskiy

    1. Tomsk Polytechnic University, Tomsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1288)

Included in the following conference series:

Conference proceedings info: TMPA 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  3. Full Papers

    1. Front Matter

      Pages 27-27
      Download chapter PDF

    2. Chaotic Time Series Prediction: Run for the Horizon

      • Vasilii A. Gromov
      Pages 29-43

    3. Machine Learning and Value Generation in Software Development: A Survey

      • Barakat J. Akinsanya, Luiz J. P. Araújo, Mariia Charikova, Susanna Gimaeva, Alexandr Grichshenko, Adil Khan et al.
      Pages 44-55

    4. The Conception of Strings Similarity in Software Engineering

      • Sergey Frenkel, Victor Zakharov
      Pages 56-67

    5. Multi-perspective Process Mining with Embedding Configurations into DB-Based Event Logs

      • Sergey A. Shershakov
      Pages 68-80

    6. On DB-Nets and Their Applications

      • Marco Montali, Andrey Rivkin
      Pages 81-87

    7. Pre-processing Network Messages of Trading Systems into Event Logs for Process Mining

      • Julio C. Carrasquel, Sergey A. Chuburov, Irina A. Lomazova
      Pages 88-100

    8. Time Series Classification Based on Visualization of Recurrence Plots

      • Lyudmyla Kirichenko, Petro Zinchenko
      Pages 101-108

    9. Relation Between Test Coverage and Timed Automata Model Structure

      • Lukáš Krejčí, Jan Sobotka, Jiří Novák
      Pages 109-120

    10. Random Graph Model for Structural Analysis of Online Communications

      • Ivan Sukharev, Maria Ivanova
      Pages 121-129

    11. The Influence of Self-organizing Teams on the Structure of the Social Graph

      • Ilya Samonenko, Tamara Voznesenskaya
      Pages 130-141

    12. Making Bounded Model Checking Interprocedural in (Static Analysis) Style

      • Daniil Stepanov, Marat Akhin, Mikhail Belyaev
      Pages 142-154

    13. Static Taint Analysis for JavaScript Programs

      • Nabil Almashfi, Lunjin Lu
      Pages 155-167

    14. Generation of Testing Metrics by Using Cluster Analysis of Bug Reports

      • Anna Gromova, Iosif Itkin, Sergey Pavlov
      Pages 168-181

    15. Building an Adaptive Logs Classification System: Industrial Report

      • Kirill Rudakov, Andrey Novikov, Anton Sitnikov, Eugeny Tsymbalov, Alexey Zverev
      Pages 182-194

  4. Short Papers

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Development of the Test Suite with Formally Verified FSM Coverage: A Case Study

      • Iosif Itkin, Rostislav Yavorskiy
      Pages 197-202
Back to top

Other volumes

  1. Tools and Methods of Program Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.

The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

 

Editors and Affiliations

  • University of Melbourne, Melbourne, Australia

    Anna Kalenkova

  • Intelligent Systems Group, UPV/EHU, Donostia, Spain

    Jose A. Lozano

  • Tomsk Polytechnic University, Tomsk, Russia

    Rostislav Yavorskiy

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation