↓ 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 Using Formal Methods for Verification and Validation in Railway
  3. Altmetric Badge
    Chapter 2 Monadic Sequence Testing and Explicit Test-Refinements
  4. Altmetric Badge
    Chapter 3 Advances in Property-Based Testing for $$\alpha $$ Prolog
  5. Altmetric Badge
    Chapter 4 Tests and Proofs for Enumerative Combinatorics
  6. Altmetric Badge
    Chapter 5 Classifying Test Suite Effectiveness via Model Inference and ROBBDs
  7. Altmetric Badge
    Chapter 6 Tests and Proofs
  8. Altmetric Badge
    Chapter 7 Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
  9. Altmetric Badge
    Chapter 8 Your Proof Fails? Testing Helps to Find the Reason
  10. Altmetric Badge
    Chapter 9 Classifying Bugs with Interpolants
  11. Altmetric Badge
    Chapter 10 Debugging Meets Testing in Erlang
  12. Altmetric Badge
    Chapter 11 Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations
  13. Altmetric Badge
    Chapter 12 Automatic Predicate Testing in Formal Certification
Attention for Chapter 9: Classifying Bugs with Interpolants
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
7 Mendeley
Summary X

This page is provided by Altmetric.