© 2010

Tests and Proofs

4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings

  • Gordon Fraser
  • Angelo Gargantini
Conference proceedings TAP 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Specifications from Testing

    1. Koen Claessen, Nicholas Smallbone, John Hughes
      Pages 6-21
  4. Testing Proofs

    1. Ki Yung Ahn, Ewen Denney
      Pages 22-37
    2. Lydie du Bousquet, Michel Lévy
      Pages 55-60
  5. Test Generation Using Proof Techniques

    1. Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert, Amiram Yehudai
      Pages 61-76
    2. Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth
      Pages 77-93
    3. Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
      Pages 94-100
  6. Theorem Proving and Testing

  7. Abstraction

    1. Jacques Julliand, Nicolas Stouls, Pierre-christophe Bué, Pierre-Alain Masson
      Pages 151-166
    2. Pierre-Christophe Bué, Frédéric Dadeau, Adrien de Kermadec, Fabrice Bouquet
      Pages 167-182
  8. Back Matter

About these proceedings


This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1–2 in M´ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness. Ofcourse,bothhaveapoint,buttoquoteEdBrinksma from his 2009 keynote at the Dutch Testing Day and Testcom/FATES: “Who would want to ?y in an airplane with software proved correct, but not tested?” Indeed, the true power lies in the combination of both approaches. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. At a time when even mainstream software engineering conferences start f- turing papers with both “testing” and “proving”in their titles, we are clearly on the verge of a new age where testing and proving are not competing but ?nally accepted as complementary techniques. Albeit, we are not quite there yet, and so the TAP conferences aim to provide a forum for researchers working on the converging topics and to raise general awareness of this convergence.


C programming language Debugging Software Engineering automatic testing constraint logic programming formal methods model checking program analysis testing verification

Editors and affiliations

  • Gordon Fraser
    • 1
  • Angelo Gargantini
    • 2
  1. 1.Computer ScienceSaarland UniversitySaarbrueckenGermany
  2. 2.DIIMMUniversity of BergamoDalmineItaly

Bibliographic information