Tools and Methods of Program Analysis : 5th international conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, revised selected papers.

Tools and Methods of Program Analysis : 5th international conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, revised selected papers.

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...

Full description

Saved in:
Bibliographic Details
Main Author: Kalenkova, Anna
Other Authors: Lozano, Jose A., Yavorskiy, Rostislav
Format: eBook
Language:English
Published: Cham : Springer International Publishing AG, 2021.
Series:Communications in computer and information science.
Subjects:
Software engineering.
Artificial intelligence.
Computers.
Computer organization.
Programming languages (Electronic computers)
artificial intelligence.
computers.
Artificial intelligence
Computer organization
Computers
Software engineering
Electronic books.
proceedings (reports)
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Table of Contents:
  • Intro
  • Preface
  • Organization
  • Contents
  • Keynote
  • Partial Specifications of Libraries: Applications in Software Engineering
  • 1 Introduction
  • 2 Problems with External Libraries
  • 3 Approach
  • 4 Formal Specifications of Libraries
  • 5 LibSL: Library Specification Language
  • 5.1 General Specification Structure
  • 5.2 Semantic Types Descriptions
  • 5.3 Automata Description
  • 5.4 API Functions Description
  • 5.5 Global Objects Section
  • 6 Applications
  • 6.1 Porting of Software
  • 6.2 Enhancements of Static Analysis
  • 6.3 Cross-Language Integration
  • 6.4 Integration Errors Detection
  • 6.5 Specification Mining
  • 6.6 Other Applications
  • 7 Conclusion
  • References
  • Full Papers
  • Chaotic Time Series Prediction: Run for the Horizon
  • 1 Introduction
  • 2 Related Works
  • 3 Time Series Prediction Problem
  • 4 Non-successive Observations
  • 5 Prediction Algorithm
  • 6 Non-predictable Points
  • 7 Quality Assessment
  • 8 The Problem of Estimating Clusters' Prognostic Values (Quality Assessment)
  • 9 Numerical Results
  • 10 Comparison with Published Results
  • 11 Conclusions
  • References
  • Machine Learning and Value Generation in Software Development: A Survey
  • 1 Introduction
  • 2 Predicting Programming Effort
  • 3 Predicting Risks to the Project
  • 4 Predicting Defects
  • 5 Discussion
  • 6 Conclusion and Future Research
  • References
  • The Conception of Strings Similarity in Software Engineering
  • 1 Introduction
  • 2 Data Similarity Conception
  • 3 Jaccard Distance-Based NED Approximation
  • 3.1 About Triangular Inequality for NED
  • 4 Similarity Model Validation
  • 4.1 About Data Set
  • 4.2 Similarity Metrics Measurement Issue
  • 5 Experimental Results of ANED-Based Approximation and Their Discussion
  • 6 Conclusion
  • References
  • Multi-perspective Process Mining with Embedding Configurations into DB-Based Event Logs
  • 1 Introduction
  • 2 Related Work
  • 3 A Database Approach for Representing Event Logs
  • 3.1 An Abstract Event Log and an DB-Event Log
  • 3.2 Relating DB Event Logs and Abstract Event Logs
  • 4 Implementation
  • 4.1 Embedding Configurations into DB-Based Event Logs to Obtain Multi-perspective Process Mining
  • 5 Conclusion
  • References
  • On DB-Nets and Their Applications
  • 1 Introduction
  • 2 The Formalism
  • 3 Current and Prospective Applications
  • 4 Conclusions
  • References
  • Pre-processing Network Messages of Trading Systems into Event Logs for Process Mining
  • 1 Introduction
  • 2 The Financial Information Exchange (FIX) Protocol
  • 3 Extracting Event Logs for Process Mining from FIX Messages
  • 3.1 Basic Definitions
  • 3.2 Extraction of Order-Based Event Logs
  • 3.3 Extraction of Order-Book-Based Event Logs
  • 3.4 Replay of Order-Book-Based Event Logs
  • 4 Conclusions and Future Work
  • References
  • Time Series Classification Based on Visualization of Recurrence Plots

Similar Items