Skip to main content
SpringerLink
Log in
Book cover

Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Vladimir Itsykson

    1. St. Petersburg Polytechnic University, St. Petersburg, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andre Scedrov

    1. University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Victor Zakharov

    1. FRC CSC, Moscow, 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 779)

Included in the following conference series:

Conference proceedings info: TMPA 2017.

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-XVIII
    Download chapter PDF

  2. Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

    • Azat Abdullin, Daniil Stepanov, Marat Akhin
    Pages 1-10

  3. Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel

    • Pavel Andrianov, Vadim Mutilin, Alexey Khoroshilov
    Pages 11-23

  4. Extended Context-Free Grammars Parsing with Generalized LL

    • Artem Gorokhov, Semyon Grigorev
    Pages 24-37

  5. Defect Report Classification in Accordance with Areas of Testing

    • Anna Gromova
    Pages 38-50

  6. Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer

    • Vsevolod Kotlyarov, Pavel Drobintsev, Nikita Voinov, Ivan Selin, Alexey Tolstoles
    Pages 51-63

  7. Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs

    • Nikita Koval, Dmitry Tsitelov, Roman Elizarov
    Pages 64-76

  8. A Survey on Model-Based Testing Tools for Test Case Generation

    • Wenbin Li, Franck Le Gall, Naum Spaseski
    Pages 77-89

  9. Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation

    • Georgiy Lukyanov, Artem Pelenitsin
    Pages 90-101

  10. Simple Type-Based Alias Analysis for a VLIW Processor

    • Aleksey Markin, Alexandr Ermolitsky
    Pages 102-113

  11. 5W+1H Static Analysis Report Quality Measure

    • Maxim Menshchikov, Timur Lepikhin
    Pages 114-126

  12. Layered Layouts for Software Systems Visualization Using Nested Petri Nets

    • Alexey A. Mitsyuk, Yaroslav V. Kotylev
    Pages 127-138

  13. Unity Application Testing Automation with Appium and Image Recognition

    • Maxim Mozgovoy, Evgeny Pyshkin
    Pages 139-150

  14. Compositional Process Model Synthesis Based on Interface Patterns

    • Roman A. Nesterov, Irina A. Lomazova
    Pages 151-162

  15. Using Functional Directives to Analyze Code Complexity

    • Daniel Rubio Bonilla, Colin W. Glass
    Pages 163-169

  16. Generating Cost-Aware Covering Arrays for Free

    • Mustafa Kemal TaÅŸ, Hanefi Mercan, GülÅŸen Demiröz, Kamer Kaya, Cemal Yilmaz
    Pages 170-182

  17. Statically Checking Conventionality of Array Objects in JavaScript

    • Astrid Younang, Lunjin Lu, Nabil Almashfi
    Pages 183-195

  18. A Survey of High-Performance Computing for Software Verification

    • Ilja Zakharov
    Pages 196-208

  19. Back Matter

    Pages 209-209
    Download chapter PDF
Back to top

Other volumes

  1. Tools and Methods of Program Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.
The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 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

  • St. Petersburg Polytechnic University, St. Petersburg, Russia

    Vladimir Itsykson

  • University of Pennsylvania, Philadelphia, USA

    Andre Scedrov

  • FRC CSC, Moscow, Russia

    Victor Zakharov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation