↓ 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 Model-Based Mutation Testing of an Industrial Measurement Device
  3. Altmetric Badge
    Chapter 2 Computing with an SMT Solver
  4. Altmetric Badge
    Chapter 3 An Abstraction Technique for Testing Decomposable Systems by Model Checking
  5. Altmetric Badge
    Chapter 4 An All-in-One Toolkit for Automated White-Box Testing
  6. Altmetric Badge
    Chapter 5 Behaviour Driven Development for Tests and Verification
  7. Altmetric Badge
    Chapter 6 Quality Assurance in MBE Back and Forth
  8. Altmetric Badge
    Chapter 7 Visualizing Unbounded Symbolic Execution
  9. Altmetric Badge
    Chapter 8 Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
  10. Altmetric Badge
    Chapter 9 Generating Classified Parallel Unit Tests
  11. Altmetric Badge
    Chapter 10 JTACO : Test Execution for Faster Bounded Verification
  12. Altmetric Badge
    Chapter 11 Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification
  13. Altmetric Badge
    Chapter 12 A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing
  14. Altmetric Badge
    Chapter 13 Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses
  15. Altmetric Badge
    Chapter 14 Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers
  16. Altmetric Badge
    Chapter 15 Lightweight State Capturing for Automated Testing of Multithreaded Programs
  17. Altmetric Badge
    Chapter 16 How Test Generation Helps Software Specification and Deductive Verification in Frama-C
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Readers on

mendeley
4 Mendeley
Summary Patents
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.
Title
Tests and Proofs
Published by
Springer International Publishing, July 2014
DOI 10.1007/978-3-319-09099-3
ISBNs
978-3-31-909098-6, 978-3-31-909099-3
Editors

Seidl, Martina, Tillmann, Nikolai

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 > Ph. D. Student 2 50%
Student > Bachelor 1 25%
Unspecified 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Unspecified 1 25%

This page is provided by Altmetric.