↓ 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 10: A Random Testing Approach Using Pushdown Automata
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
1 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
A Random Testing Approach Using Pushdown Automata
Chapter number 10
Book title
Tests and Proofs
Published by
Springer, Berlin, Heidelberg, June 2011
DOI 10.1007/978-3-642-21768-5_10
Book ISBNs
978-3-64-221767-8, 978-3-64-221768-5
Authors

Pierre-Cyrille Héam, Catherine Masson

View on publisher site

This page is provided by Altmetric.