Download the Free Fishpond App!
Download on the App Store

Android App on Google play
Tests and Proofs: First International Conference, TAP 2007  Zurich, Switzerland, February 12-13, 2007  Revised Papers (Lecture Notes in Computer Science)

Already own it?

Sell Yours
Home » Books » Computers » Hardware » Handhelds

Tests and Proofs

First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science)

By Bertrand Meyer (Volume editor), Yuri Gurevich (Volume editor)

Elsewhere $140.95 $73.25   Save $67.70 (48%)
Free shipping Australia wide
Condition: New
Ships within: 4-8 days
New or Used: 119 copies from $73.25
Order now for Christmas delivery
Rating:
 
Register or sign-in to rate and get recommendations.
Format: Paperback, 217 pages
Other Information: IX, 217 p.
Published In: Germany, 01 September 2007
Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality.

Table of Contents

Combining Static and Dynamic Reasoning for Bug Detection.- Testable Requirements and Specifications.- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.- Testing and Verifying Invariant Based Programs in the SOCOS Environment.- Testing and Proving Distributed Algorithms in Constructive Type Theory.- Automatic Testing from Formal Specifications.- Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.- Symbolic Execution Techniques for Refinement Testing.- Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.- Generating Unit Tests from Formal Proofs.- Using Model Checking to Generate Fault Detecting Tests.- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.

EAN: 9783540737698
ISBN: 3540737693
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Dimensions: 23.39 x 15.6 x 1.24 centimetres (0.36 kg)
Age Range: 15+ years
Tell a friend

Their Email:

Sell Yours

Already own this item?
Sell Yours and earn some cash. It's fast and free to list! (Learn More.)

Review this Product

BAD GOOD
 

Related Searches

 

Webmasters, Bloggers & Website Owners

You can earn a 5% commission by selling Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science) on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep!

 

Authors/Publishers

Are you the Author/Publisher? Improve sales by submitting additional information on this title.