Skip to main content
  • Conference proceedings
  • © 2018

Tools and Methods of Program Analysis

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

Conference proceedings info: TMPA 2017.

Buy it now

Buying options

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

This is a preview of subscription content, access via your institution.

Table of contents (17 papers)

  1. Front Matter

    Pages I-XVIII
  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. Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs

    • Nikita Koval, Dmitry Tsitelov, Roman Elizarov
    Pages 64-76
  6. A Survey on Model-Based Testing Tools for Test Case Generation

    • Wenbin Li, Franck Le Gall, Naum Spaseski
    Pages 77-89
  7. Simple Type-Based Alias Analysis for a VLIW Processor

    • Aleksey Markin, Alexandr Ermolitsky
    Pages 102-113
  8. 5W+1H Static Analysis Report Quality Measure

    • Maxim Menshchikov, Timur Lepikhin
    Pages 114-126
  9. Layered Layouts for Software Systems Visualization Using Nested Petri Nets

    • Alexey A. Mitsyuk, Yaroslav V. Kotylev
    Pages 127-138
  10. Unity Application Testing Automation with Appium and Image Recognition

    • Maxim Mozgovoy, Evgeny Pyshkin
    Pages 139-150
  11. Compositional Process Model Synthesis Based on Interface Patterns

    • Roman A. Nesterov, Irina A. Lomazova
    Pages 151-162
  12. Using Functional Directives to Analyze Code Complexity

    • Daniel Rubio Bonilla, Colin W. Glass
    Pages 163-169
  13. Generating Cost-Aware Covering Arrays for Free

    • Mustafa Kemal Taş, Hanefi Mercan, Gülşen Demiröz, Kamer Kaya, Cemal Yilmaz
    Pages 170-182
  14. Statically Checking Conventionality of Array Objects in JavaScript

    • Astrid Younang, Lunjin Lu, Nabil Almashfi
    Pages 183-195
  15. Back Matter

    Pages 209-209

Other Volumes

  1. Tools and Methods of Program Analysis

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.

 

 

Keywords

  • artificial intelligence
  • computer architecture
  • computer software selection and evaluation
  • distributed computer systems
  • High-Performance Computing (HPC)
  • formal methods
  • model checking
  • object-oriented programming
  • program analysis
  • program compilers
  • programming languages
  • semantics
  • software engineering
  • static analysis
  • 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

Buy it now

Buying options

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