Book Volume 4454 2007

Tests and Proofs

First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers


ISBN: 978-3-540-73769-8 (Print) 978-3-540-73770-4 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-16

    Combining Static and Dynamic Reasoning for Bug Detection

  3. Chapter

    Pages 17-40

    Testable Requirements and Specifications

  4. Chapter

    Pages 41-60

    Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic

  5. Chapter

    Pages 61-78

    Testing and Verifying Invariant Based Programs in the SOCOS Environment

  6. Chapter

    Pages 79-94

    Testing and Proving Distributed Algorithms in Constructive Type Theory

  7. Chapter

    Pages 95-113

    Automatic Testing from Formal Specifications

  8. Chapter

    Pages 114-130

    Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

  9. Chapter

    Pages 131-148

    Symbolic Execution Techniques for Refinement Testing

  10. Chapter

    Pages 149-168

    Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

  11. Chapter

    Pages 169-188

    Generating Unit Tests from Formal Proofs

  12. Chapter

    Pages 189-206

    Using Model Checking to Generate Fault Detecting Tests

  13. Chapter

    Pages 207-216

    White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing

  14. Back Matter

    Pages -