SmartSellTM - The New Way to Sell Online

Shop over 1.5 Million Toys in our Huge New Range

Tests and Proofs

New or Used: 48 copies from $69.78
Product Details

Table of Contents

Invited Talks.- The First Thirty Years: Experience with Software Verification.- Vacuity in Testing.- What Can Fault Prediction Do for YOU?.- Research Papers.- Equivalence Checking for a Finite Higher Order ?-Calculus.- Finding Counter Examples in Induction Proofs.- A Logic-Based Approach to Combinatorial Testing with Constraints.- Functional Testing in the Focal Environment.- Bounded Relational Analysis of Free Data Types.- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.- Pex-White Box Test Generation for .NET.- Non-termination Checking for Imperative Programs.- Tutorials.- Parameterized Unit Testing with Pex.- Integrating Verification and Testing of Object-Oriented Software.

Ask a Question About this Product More...
Write your question below:
Look for similar items by category
People also searched for
How Fishpond Works
Fishpond works with suppliers all over the world to bring you a huge selection of products, really great prices, and delivery included on over 25 million products that we sell. We do our best every day to make Fishpond an awesome place for customers to shop and get what they want — all at the best prices online.
Webmasters, Bloggers & Website Owners
You can earn a 5% commission by selling Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (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! You should start right now!
Authors / Publishers
Are you the Author or Publisher of a book? Or the manufacturer of one of the millions of products that we sell. You can improve sales and grow your revenue by submitting additional information on this title. The better the information we have about a product, the more we will sell!
Back to top