Tests and Proofs

Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

By: Bernhard Beckert (Editor), Reiner HÃ¤hnle (Editor)

Write A Review

Paperback | 31 March 2008

At a Glance

Paperback
210 Pages

Dimensions(cm)
22.86 x 15.88 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9-11, 2008 in Prato, Italy. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areasfor the advancement of softwarequality. To provethe correctnessof a programis to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a programis to run it with the expectation of discovering bugs. On the surface, the two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on anyhope of proving its correctness.Accordingly,proofs and tests have,since the onset of software engineering research, been pursued by distinct communities using rather di?erent techniques and tools. And yet the development of both approaches leads to the discovery of c- mon issues and to the realization that each may need the other. The emergence of model checking has been one of the ?rst signs that contradiction may yield to complementarity, but in the past few years an increasing number of research e?orts have encountered the need for combining proofs and tests, dropping e- lier dogmatic views of their incompatibility and taking instead the best of what each of these software engineering domains has to o?er.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Computer Science Systems Analysis & Design Computer Networking & Communications Computer Architecture & Logic Design Information Technology General Issue Ethical & Social Aspects of IT Computer Hardware

Network Hardware Digital Lifestyle & Online World: Consumer & User Guides Portable & Handheld Devices User Guides

The First Thirty Years: Experience with Software Verification	p. 1
Vacuity in Testing	p. 4
What Can Fault Prediction Do for YOU?	p. 18
Equivalence Checking for a Finite Higher Order [pi]-Calculus	p. 30
Finding Counter Examples in Induction Proofs	p. 48
A Logic-Based Approach to Combinatorial Testing with Constraints	p. 66
Functional Testing in the Focal Environment	p. 84
Bounded Relational Analysis of Free Data Types	p. 99
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model	p. 116
Pex - White Box Test Generation for .NET	p. 134
Non-termination Checking for Imperative Programs	p. 154
Parameterized Unit Testing with Pex	p. 171
Integrating Verification and Testing of Object-Oriented Software	p. 182
Author Index	p. 193
Table of Contents provided by Blackwell. All Rights Reserved.

Tests and Proofs

Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Site Reliability Engineering

How Google Runs Production Systems

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Linux Pocket Guide

4th Edition - Essential Commands

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Business Driven Information Systems ISE

9th Edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Systems Analysis and Design

12th edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Spark : The Definitive Guide

Big Data Processing Made Simple

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Rust Atomics and Locks

Low-Level Concurrency in Practice

Raspberry Pi Cookbook, 4E

Software and Hardware Problems and Solutions

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Arduino Cookbook

Recipes to Begin, Expand, and Enhance Your Projects

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Software Engineering at Google

Lessons Learned from Programming Over Time

Exploring Research Through Co-Design

Multiple Perspectives for Collaborative Inquiry

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

Cyber-Secure Load Frequency Control for Power Systems

This product is categorised by