Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings - Programming and Software Engineering 6143 (Paperback)
  • Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings - Programming and Software Engineering 6143 (Paperback)
zoom

Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings - Programming and Software Engineering 6143 (Paperback)

(editor), (editor)
£62.99
Paperback 174 Pages / Published: 17/06/2010
  • Publisher out of stock

Currently unavailable to order

This product is currently unavailable.

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642139765
Number of pages: 174
Weight: 295 g
Dimensions: 234 x 155 x 10 mm
Edition: 2010 ed.

You may also be interested in...

Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Fluent Python
Added to basket
£39.99
Paperback
How to Build a Billion Dollar App
Added to basket
Learning SQL
Added to basket
£31.99
Paperback
The Pragmatic Programmer
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
JavaScript in Easy Steps
Added to basket
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
Eloquent Javascript, 2nd Ed.
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
Designing Data-Intensive Applications
Added to basket
Learning Python
Added to basket
£51.99
Paperback
Python in Easy Steps
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.