↓ 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
Attention for Chapter 13: Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses
Altmetric Badge
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
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses
Chapter number 13
Book title
Tests and Proofs
Published by
Springer, Cham, July 2014
DOI 10.1007/978-3-319-09099-3_13
Book ISBNs
978-3-31-909098-6, 978-3-31-909099-3
Authors

Nikolai Kosmatov, Julien Signoles, Kosmatov, Nikolai, Signoles, Julien

View on publisher site

This page is provided by Altmetric.