Name: tests and proofs
SKU: 3424530
Price: 67.19 EUR
Availability: InStock
ISBN: 9783540791232

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Springer

Language

English

Pages

193

ISBN

354079123X

ISBN13

9783540791232

Synopsis "tests and proofs"

this book constitutes the refereed proceedings of the second international conference on tests and proofs, tap 2008, held in prato, italy, in april 2008. the 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected for inclusion in the book. 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 cases, 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 tools; formal frameworks; as well as 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