↓ 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 14: Lightweight Testing of Communication Networks with e-Motions
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
4 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
Lightweight Testing of Communication Networks with e-Motions
Chapter number 14
Book title
Tests and Proofs
Published by
Springer, Berlin, Heidelberg, June 2011
DOI 10.1007/978-3-642-21768-5_14
Book ISBNs
978-3-64-221767-8, 978-3-64-221768-5
Authors

Javier Troya, José M. Bautista, Fernando López-Romero, Antonio Vallecillo

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 %
Professor 1 25%
Student > Ph. D. Student 1 25%
Unknown 2 50%
Readers by discipline Count As %
Mathematics 1 25%
Engineering 1 25%
Unknown 2 50%

This page is provided by Altmetric.