Programming and Software Engineering

Tests and Proofs

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

Editors: Meyer, Bertrand, Gurevich, Yuri (Eds.)

  • The papers feature current research work
  • Combines ideas from both testing and proofing to foster software quality
  • The text comes complete with online files and updates.
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-73770-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-73769-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007.

The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests.

Table of contents (12 chapters)

  • Combining Static and Dynamic Reasoning for Bug Detection

    Smaragdakis, Yannis (et al.)

    Pages 1-16

  • Testable Requirements and Specifications

    Ostroff, Jonathan S. (et al.)

    Pages 17-40

  • Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic

    Rümmer, Philipp (et al.)

    Pages 41-60

  • Testing and Verifying Invariant Based Programs in the SOCOS Environment

    Back, Ralph-Johan (et al.)

    Pages 61-78

  • Testing and Proving Distributed Algorithms in Constructive Type Theory

    Haiyan, Qiao

    Pages 79-94

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-73770-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-540-73769-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Tests and Proofs
Book Subtitle
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Editors
  • Bertrand Meyer
  • Yuri Gurevich
Series Title
Programming and Software Engineering
Series Volume
4454
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-73770-4
DOI
10.1007/978-3-540-73770-4
Softcover ISBN
978-3-540-73769-8
Edition Number
1
Number of Pages
IX, 217
Topics