Automated Testing,
https://rd.springer.com/chapter/10.1007/978-3-540-79124-9_13
Tests and Proofs
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 The First Thirty Years: Experience with Software Verification
-
Altmetric BadgeChapter 2 Vacuity in Testing
-
Altmetric BadgeChapter 3 What Can Fault Prediction Do for YOU?
-
Altmetric BadgeChapter 4 Equivalence Checking for a Finite Higher Order π-Calculus
-
Altmetric BadgeChapter 5 Finding Counter Examples in Induction Proofs
-
Altmetric BadgeChapter 6 A Logic-Based Approach to Combinatorial Testing with Constraints
-
Altmetric BadgeChapter 7 Functional Testing in the Focal Environment
-
Altmetric BadgeChapter 8 Bounded Relational Analysis of Free Data Types
-
Altmetric BadgeChapter 9 Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
-
Altmetric BadgeChapter 10 Pex–White Box Test Generation for .NET
-
Altmetric BadgeChapter 11 Non-termination Checking for Imperative Programs
-
Altmetric BadgeChapter 12 Parameterized Unit Testing with Pex
-
Altmetric BadgeChapter 13 Integrating Verification and Testing of Object-Oriented Software