Willkommen, schön sind Sie da!
Logo Ex Libris

Tests and Proofs

  • Kartonierter Einband
  • 174 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 12 in M´ a... Weiterlesen
85.35 CHF 68.30
Sie sparen CHF 17.05
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich


This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 12 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 provingin 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.

Up-to-date results

Fast track conference proceedings

State-of-the-art report


This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010.

Invited Talks.- How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.- Myths in Software Engineering: From the Other Side.- Specifications from Testing.- QuickSpec: Guessing Formal Specifications Using Testing.- Testing Proofs.- Testing First-Order Logic Axioms in Program Verification.- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.- Proof Process Evaluation with Mutation Analysis.- Test Generation Using Proof Techniques.- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces.- Combining Static Analysis and Test Generation for C Program Debugging.- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding.- Theorem Proving and Testing.- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions.- Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications.- Abstraction.- Syntactic Abstraction of B Models to Generate Tests.- Building a Test-Ready Abstraction of a Behavioral Model Using CLP.


Titel: Tests and Proofs
Untertitel: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
EAN: 9783642139765
ISBN: 978-3-642-13976-5
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 174
Gewicht: 307g
Größe: H238mm x B159mm x T12mm
Jahr: 2010
Untertitel: Englisch
Auflage: 2010

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"

Teil 6143
Sie sind hier.