Tests and Proofs

Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

  • Editors
  • Bernhard Beckert
  • Reiner Hähnle
Conference proceedings TAP 2008

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4966)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Thomas Ball, Orna Kupferman
      Pages 4-17
    2. Elaine J. Weyuker, Thomas J. Ostrand
      Pages 18-29
  3. Research Papers

    1. Koen Claessen, Hans Svensson
      Pages 48-65
    2. Andrea Calvagna, Angelo Gargantini
      Pages 66-83
    3. Matthieu Carlier, Catherine Dubois
      Pages 84-98
    4. Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
      Pages 99-115
    5. Nikolai Tillmann, Jonathan de Halleux
      Pages 134-153
    6. Helga Velroyen, Philipp Rümmer
      Pages 154-170
  4. Tutorials

    1. Jonathan de Halleux, Nikolai Tillmann
      Pages 171-181
    2. Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer
      Pages 182-191
  5. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Second International Conference on Test and Proofs, TAP 2008, held in Prato, Italy, in April 2008.

The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected for inclusion in the book. The papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test cases, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic tools; formal frameworks; as well as case studies.


Oracle QoS automatic testing constraint logic programming dynamic logic formal models model checking model-based testing multithreaded programs program analysis program verification programming software reli testing verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-79123-2
  • Online ISBN 978-3-540-79124-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment