Tests and Proofs

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

Editors:

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

Table of contents (12 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-16

    Combining Static and Dynamic Reasoning for Bug Detection

  3. No Access

    Book Chapter

    Pages 17-40

    Testable Requirements and Specifications

  4. No Access

    Book Chapter

    Pages 41-60

    Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic

  5. No Access

    Book Chapter

    Pages 61-78

    Testing and Verifying Invariant Based Programs in the SOCOS Environment

  6. No Access

    Book Chapter

    Pages 79-94

    Testing and Proving Distributed Algorithms in Constructive Type Theory

  7. No Access

    Book Chapter

    Pages 95-113

    Automatic Testing from Formal Specifications

  8. No Access

    Book Chapter

    Pages 114-130

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

  9. No Access

    Book Chapter

    Pages 131-148

    Symbolic Execution Techniques for Refinement Testing

  10. No Access

    Book Chapter

    Pages 149-168

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

  11. No Access

    Book Chapter

    Pages 169-188

    Generating Unit Tests from Formal Proofs

  12. No Access

    Book Chapter

    Pages 189-206

    Using Model Checking to Generate Fault Detecting Tests

  13. No Access

    Book Chapter

    Pages 207-216

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

  14. Back Matter

    Pages -