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

Tests and Proofs

Overview of attention for book
Cover of 'Tests and Proofs'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback
  3. Altmetric Badge
    Chapter 2 Myths in Software Engineering: From the Other Side
  4. Altmetric Badge
    Chapter 3 QuickSpec : Guessing Formal Specifications Using Testing
  5. Altmetric Badge
    Chapter 4 Testing First-Order Logic Axioms in Program Verification
  6. Altmetric Badge
    Chapter 5 Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases
  7. Altmetric Badge
    Chapter 6 Proof Process Evaluation with Mutation Analysis
  8. Altmetric Badge
    Chapter 7 Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay
  9. Altmetric Badge
    Chapter 8 DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
  10. Altmetric Badge
    Chapter 9 Combining Static Analysis and Test Generation for C Program Debugging
  11. Altmetric Badge
    Chapter 10 Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
  12. Altmetric Badge
    Chapter 11 Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions
  13. Altmetric Badge
    Chapter 12 Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications
  14. Altmetric Badge
    Chapter 13 Syntactic Abstraction of B Models to Generate Tests
  15. Altmetric Badge
    Chapter 14 Building a Test-Ready Abstraction of a Behavioral Model Using CLP
Attention for Chapter 11: Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions
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
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions
Chapter number 11
Book title
Tests and Proofs
Published by
Springer, Berlin, Heidelberg, July 2010
DOI 10.1007/978-3-642-13977-2_11
Book ISBNs
978-3-64-213976-5, 978-3-64-213977-2
Authors

Jasmin Christian Blanchette, Blanchette, Jasmin Christian

View on publisher site

This page is provided by Altmetric.