↓ 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 The Technology and Psychology of Testing Your Code as You Develop It
  3. Altmetric Badge
    Chapter 2 Combining Model Checking and Symbolic Execution for Software Testing
  4. Altmetric Badge
    Chapter 3 From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
  5. Altmetric Badge
    Chapter 4 Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites
  6. Altmetric Badge
    Chapter 5 A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
  7. Altmetric Badge
    Chapter 6 Testing Library Specifications by Verifying Conformance Tests
  8. Altmetric Badge
    Chapter 7 Incremental Model-Based Testing of Delta-Oriented Software Product Lines
  9. Altmetric Badge
    Chapter 8 Conformance Relations for Labeled Event Structures
  10. Altmetric Badge
    Chapter 9 Test Generation from Recursive Tiles Systems
  11. Altmetric Badge
    Chapter 10 Generation of Test Data Structures Using Constraint Logic Programming
  12. Altmetric Badge
    Chapter 11 Constructive Finite Trace Analysis with Linear Temporal Logic
  13. Altmetric Badge
    Chapter 12 Tests and Proofs
  14. Altmetric Badge
    Chapter 13 Evaluating and Debugging OCL Expressions in UML Models
  15. Altmetric Badge
    Chapter 14 Tests and Proofs
  16. Altmetric Badge
    Chapter 15 A Lesson on Structural Testing with PathCrawler-online.com
  17. Altmetric Badge
    Chapter 16 Tutorial on Automated Structural Testing with PathCrawler
Attention for Chapter 1: The Technology and Psychology of Testing Your Code as You Develop It
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
The Technology and Psychology of Testing Your Code as You Develop It
Chapter number 1
Book title
Tests and Proofs
Published by
Springer, Berlin, Heidelberg, May 2012
DOI 10.1007/978-3-642-30473-6_1
Book ISBNs
978-3-64-230472-9, 978-3-64-230473-6
Authors

Andreas Kuehlmann

View on publisher site

This page is provided by Altmetric.