↓ 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 12: Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications
Altmetric Badge

Readers on

mendeley
2 Mendeley
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
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications
Chapter number 12
Book title
Tests and Proofs
Published by
Springer, Berlin, Heidelberg, July 2010
DOI 10.1007/978-3-642-13977-2_12
Book ISBNs
978-3-64-213976-5, 978-3-64-213977-2
Authors

Vlad Rusu, Rusu, Vlad

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Researcher 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.