Name: tests and proofs
SKU: 3424630
Price: 54.34 EUR
Availability: InStock
ISBN: 9783642029486

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Springer

Language

English

Pages

169

ISBN

3642029485

ISBN13

9783642029486

Synopsis "tests and proofs"

this book constitutes the refereed proceedings of the third international conference on test and proofs, tap 2009, held in zurich, switzerland, in july 2009. the 10 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 20 submissions. the papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. topics addressed are generation of test data, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic bug finding; formal frameworks; tool descriptions and experience reports; and case studies.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews