Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Communications in Computer and Information Science

Tools and Methods of Program Analysis

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

Editors: Itsykson, Vladimir, Scedrov, Andre, Zakharov, Viktor (Eds.)

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-319-71734-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA in USD
  • ISBN 978-3-319-71733-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

 

 

Table of contents (17 chapters)

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

    Abdullin, Azat (et al.)

    Pages 1-10

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

    Andrianov, Pavel (et al.)

    Pages 11-23

  • Extended Context-Free Grammars Parsing with Generalized LL

    Gorokhov, Artem (et al.)

    Pages 24-37

  • Defect Report Classification in Accordance with Areas of Testing

    Gromova, Anna

    Pages 38-50

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

    Kotlyarov, Vsevolod (et al.)

    Pages 51-63

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-319-71734-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA in USD
  • ISBN 978-3-319-71733-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Tools and Methods of Program Analysis
Book Subtitle
4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Editors
  • Vladimir Itsykson
  • Andre Scedrov
  • Viktor Zakharov
Series Title
Communications in Computer and Information Science
Series Volume
779
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-71734-0
DOI
10.1007/978-3-319-71734-0
Softcover ISBN
978-3-319-71733-3
Series ISSN
1865-0929
Edition Number
1
Number of Pages
XVIII, 209
Number of Illustrations
71 b/w illustrations
Topics