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

Tests and Proofs

Overview of attention for book
Tests and Proofs
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Automatic Test-Case Generation with CoVeriTest (Extended Abstract)
  3. Altmetric Badge
    Chapter 2 $$\textsc {Reach}$$ R E A C H on Register Automata via History Independence
  4. Altmetric Badge
    Chapter 3 Bddl: A Type System for Binary Decision Diagrams
  5. Altmetric Badge
    Chapter 4 Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
  6. Altmetric Badge
    Chapter 5 Fuzzing and Delta Debugging And-Inverter Graph Verification Tools
  7. Altmetric Badge
    Chapter 6 A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
  8. Altmetric Badge
    Chapter 7 Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing
Attention for Chapter 6: A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
Altmetric Badge
Summary
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.
Chapter title
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
Chapter number 6
Book title
Tests and Proofs
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-09827-7_6
Book ISBNs
978-3-03-109826-0, 978-3-03-109827-7
Authors

Mouzarani, Maryam, Kamali, Ali, Baradaran, Sara, Heidari, Mahdi

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.