Skip to main content
SpringerLink
Log in

Tests and Proofs

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Gordon Fraser

    1. Computer Science, Saarland University, Saarbruecken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Angelo Gargantini

    1. DIIMM, University of Bergamo, Dalmine, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: TAP 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  3. Specifications from Testing

    1. QuickSpec: Guessing Formal Specifications Using Testing

      • Koen Claessen, Nicholas Smallbone, John Hughes
      Pages 6-21

  4. Testing Proofs

    1. Testing First-Order Logic Axioms in Program Verification

      • Ki Yung Ahn, Ewen Denney
      Pages 22-37

    2. Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases

      • Martin Gogolla, Lars Hamann, Mirco Kuhlmann
      Pages 38-54

    3. Proof Process Evaluation with Mutation Analysis

      • Lydie du Bousquet, Michel Lévy
      Pages 55-60

  5. Test Generation Using Proof Techniques

    1. Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay

      • Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert, Amiram Yehudai
      Pages 61-76

    2. DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces

      • Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth
      Pages 77-93

    3. Combining Static Analysis and Test Generation for C Program Debugging

      • Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
      Pages 94-100

    4. Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding

      • Eugene Goldberg, Panagiotis Manolios
      Pages 101-116

  7. Abstraction

    1. Syntactic Abstraction of B Models to Generate Tests

      • Jacques Julliand, Nicolas Stouls, Pierre-christophe Bué, Pierre-Alain Masson
      Pages 151-166

    2. Building a Test-Ready Abstraction of a Behavioral Model Using CLP

      • Pierre-Christophe Bué, Frédéric Dadeau, Adrien de Kermadec, Fabrice Bouquet
      Pages 167-182

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Keywords

About this book

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.

Editors and Affiliations

  • Computer Science, Saarland University, Saarbruecken, Germany

    Gordon Fraser

  • DIIMM, University of Bergamo, Dalmine, Italy

    Angelo Gargantini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation