↓ 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 Checking Models, Proving Programs, and Testing Systems
  3. Altmetric Badge
    Chapter 2 Tests from Proofs
  4. Altmetric Badge
    Chapter 3 Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
  5. Altmetric Badge
    Chapter 4 Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver
  6. Altmetric Badge
    Chapter 5 Association of Under-Approximation Techniques for Generating Tests from Models
  7. Altmetric Badge
    Chapter 6 Security Mutants for Property-Based Testing
  8. Altmetric Badge
    Chapter 7 The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
  9. Altmetric Badge
    Chapter 8 Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications
  10. Altmetric Badge
    Chapter 9 Correct Code Containing Containers
  11. Altmetric Badge
    Chapter 10 A Random Testing Approach Using Pushdown Automata
  12. Altmetric Badge
    Chapter 11 Incremental Learning-Based Testing for Reactive Systems
  13. Altmetric Badge
    Chapter 12 Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
  14. Altmetric Badge
    Chapter 13 State Coverage Metrics for Specification-Based Testing with Büchi Automata
  15. Altmetric Badge
    Chapter 14 Lightweight Testing of Communication Networks with e-Motions
Attention for Chapter 1: Checking Models, Proving Programs, and Testing Systems
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
12 Mendeley
Summary Dimensions citations
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
Checking Models, Proving Programs, and Testing Systems
Chapter number 1
Book title
Tests and Proofs
Published in
Lecture notes in computer science, January 2011
DOI 10.1007/978-3-642-21768-5_1
Book ISBNs
978-3-64-221767-8, 978-3-64-221768-5
Authors

Marie-Claude Gaudel

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
France 1 8%
Unknown 11 92%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 33%
Student > Master 2 17%
Professor > Associate Professor 2 17%
Student > Bachelor 1 8%
Student > Postgraduate 1 8%
Other 0 0%
Unknown 2 17%
Readers by discipline Count As %
Computer Science 6 50%
Engineering 4 33%
Unknown 2 17%

This page is provided by Altmetric.