↓ Skip to main content

Tools and Methods of Program Analysis

Overview of attention for book
Cover of 'Tools and Methods of Program Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
  3. Altmetric Badge
    Chapter 2 Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel
  4. Altmetric Badge
    Chapter 3 Extended Context-Free Grammars Parsing with Generalized LL
  5. Altmetric Badge
    Chapter 4 Defect Report Classification in Accordance with Areas of Testing
  6. Altmetric Badge
    Chapter 5 Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer
  7. Altmetric Badge
    Chapter 6 Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs
  8. Altmetric Badge
    Chapter 7 A Survey on Model-Based Testing Tools for Test Case Generation
  9. Altmetric Badge
    Chapter 8 Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation
  10. Altmetric Badge
    Chapter 9 Simple Type-Based Alias Analysis for a VLIW Processor
  11. Altmetric Badge
    Chapter 10 5W+1H Static Analysis Report Quality Measure
  12. Altmetric Badge
    Chapter 11 Layered Layouts for Software Systems Visualization Using Nested Petri Nets
  13. Altmetric Badge
    Chapter 12 Unity Application Testing Automation with Appium and Image Recognition
  14. Altmetric Badge
    Chapter 13 Compositional Process Model Synthesis Based on Interface Patterns
  15. Altmetric Badge
    Chapter 14 Using Functional Directives to Analyze Code Complexity
  16. Altmetric Badge
    Chapter 15 Generating Cost-Aware Covering Arrays for Free
  17. Altmetric Badge
    Chapter 16 Statically Checking Conventionality of Array Objects in JavaScript
  18. Altmetric Badge
    Chapter 17 A Survey of High-Performance Computing for Software Verification
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 patent

Readers on

8 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Tools and Methods of Program Analysis
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-71734-0
978-3-31-971733-3, 978-3-31-971734-0

Vladimir Itsykson, Andre Scedrov, Victor Zakharov

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 8 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 25%
Student > Ph. D. Student 1 13%
Lecturer 1 13%
Student > Bachelor 1 13%
Unknown 3 38%
Readers by discipline Count As %
Computer Science 4 50%
Engineering 1 13%
Unknown 3 38%