Program Testing Versus Proofs Of Correctness
Download Program Testing Versus Proofs Of Correctness PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Program Testing Versus Proofs Of Correctness book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Tests and Proofs
Author: Bertrand Meyer
language: en
Publisher: Springer Science & Business Media
Release Date: 2007-08-09
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.