This book constitutes the refereed proceedings of the Second International Conference on Test 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.
Author(s): Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)
Series: Lecture Notes in Computer Science 4966 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 193
Tags: System Performance and Evaluation; Software Engineering; Logics and Meanings of Programs; Computer Communication Networks; Computers and Society
Front Matter....Pages -
The First Thirty Years: Experience with Software Verification....Pages 1-3
Vacuity in Testing....Pages 4-17
What Can Fault Prediction Do for YOU?....Pages 18-29
Equivalence Checking for a Finite Higher Order π -Calculus....Pages 30-47
Finding Counter Examples in Induction Proofs....Pages 48-65
A Logic-Based Approach to Combinatorial Testing with Constraints....Pages 66-83
Functional Testing in the Focal Environment....Pages 84-98
Bounded Relational Analysis of Free Data Types....Pages 99-115
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model....Pages 116-133
Pex–White Box Test Generation for .NET....Pages 134-153
Non-termination Checking for Imperative Programs....Pages 154-170
Parameterized Unit Testing with Pex....Pages 171-181
Integrating Verification and Testing of Object-Oriented Software....Pages 182-191
Back Matter....Pages -
