↓ 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 Abstraction Refinement for the Analysis of Software Product Lines
  3. Altmetric Badge
    Chapter 2 Hybrid Information Flow Analysis for Real-World C Code
  4. Altmetric Badge
    Chapter 3 Symbolic Execution of Transition Systems with Function Summaries
  5. Altmetric Badge
    Chapter 4 Unit Testing of Database-Driven Java Enterprise Edition Applications
  6. Altmetric Badge
    Chapter 5 Model-Based Testing of Probabilistic Systems with Stochastic Time
  7. Altmetric Badge
    Chapter 6 Test Suite Reduction in Idempotence Testing of Infrastructure as Code
  8. Altmetric Badge
    Chapter 7 Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms
  9. Altmetric Badge
    Chapter 8 Skolem Function Continuation for Quantified Boolean Formulas
  10. Altmetric Badge
    Chapter 9 WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions
  11. Altmetric Badge
    Chapter 10 Testing a Saturation-Based Theorem Prover: Experiences and Challenges
Attention for Chapter 10: Testing a Saturation-Based Theorem Prover: Experiences and Challenges
Altmetric Badge

Readers on

mendeley
4 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
Testing a Saturation-Based Theorem Prover: Experiences and Challenges
Chapter number 10
Book title
Tests and Proofs
Published in
Lecture notes in computer science, June 2017
DOI 10.1007/978-3-319-61467-0_10
Book ISBNs
978-3-31-961466-3, 978-3-31-961467-0
Authors

Giles Reger, Martin Suda, Andrei Voronkov, Reger, Giles, Suda, Martin, Voronkov, Andrei

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 50%
Student > Ph. D. Student 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Unknown 1 25%

This page is provided by Altmetric.