↓ Skip to main content
What is this page? Embed badge

String Analysis for Software Verification and Security

Overview of attention for book
Cover of 'String Analysis for Software Verification and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 String Manipulating Programs and Difficulty of Their Analysis
  4. Altmetric Badge
    Chapter 3 State Space Exploration
  5. Altmetric Badge
    Chapter 4 Automata Based String Analysis
  6. Altmetric Badge
    Chapter 5 Relational String Analysis
  7. Altmetric Badge
    Chapter 6 Abstraction and Approximation
  8. Altmetric Badge
    Chapter 7 Constraint-Based String Analysis
  9. Altmetric Badge
    Chapter 8 Vulnerability Detection and Sanitization Synthesis
  10. Altmetric Badge
    Chapter 9 Differential String Analysis and Repair
  11. Altmetric Badge
    Chapter 10 Tools
  12. Altmetric Badge
    Chapter 11 A Brief Survey of Related Work
  13. Altmetric Badge
    Chapter 12 Conclusions
Attention for Chapter 7: Constraint-Based String Analysis
Altmetric Badge

Citations

dimensions_citation
24 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 24 publications that cite this research output.

24

The most recent citing publications are shown below. View all 24 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.