Tests and Proofs

Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

  • Catherine Dubois
Conference proceedings TAP 2009

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

Table of contents

  1. Front Matter
  2. Aditya Nori, Sriram K. Rajamani
    Pages 6-9
  3. Philippe Ayrault, Thérèse Hardin, François Pessaux
    Pages 10-26
  4. Yalda Fazlalizadeh, Alireza Khalilian, Mohammad Abdollahi Azgomi, Saeed Parsa
    Pages 43-57
  5. Gordon Fraser, Franz Wotawa
    Pages 58-73
  6. Martin Gogolla, Mirco Kuhlmann, Lars Hamann
    Pages 90-104
  7. Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte
    Pages 105-120
  8. Paula Herber, Florian Friedemann, Sabine Glesner
    Pages 121-136
  9. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Third International Conference on Test and Proofs, TAP 2009, held in Zurich, Switzerland, in July 2009.

The 10 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 20 submissions. 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 data, 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 bug finding; formal frameworks; tool descriptions and experience reports; and case studies.


automatic testing conformance testing constraint logic programming dynamic logic first-order logic formal methods formal models linear temporal logic model checking model-based testing program analysis program verification programming testing verification

Editors and affiliations

  • Catherine Dubois
    • 1
  1. 1.CÉDRIC-ENSIIEÉvry CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-02948-6
  • Online ISBN 978-3-642-02949-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods