Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /

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 f...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Beckert, Bernhard (Editor ), Hähnle, Reiner (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 4966
Temas:
Software engineering.
Electronic digital computers-Evaluation.
Computer science.
Computer networks .
Computers and civilization.
Software Engineering.
System Performance and Evaluation.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Computers and Society.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Talks
  • The First Thirty Years: Experience with Software Verification
  • Vacuity in Testing
  • What Can Fault Prediction Do for YOU?
  • Research Papers
  • Equivalence Checking for a Finite Higher Order ?-Calculus
  • Finding Counter Examples in Induction Proofs
  • A Logic-Based Approach to Combinatorial Testing with Constraints
  • Functional Testing in the Focal Environment
  • Bounded Relational Analysis of Free Data Types
  • Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
  • Pex-White Box Test Generation for .NET
  • Non-termination Checking for Imperative Programs
  • Tutorials
  • Parameterized Unit Testing with Pex
  • Integrating Verification and Testing of Object-Oriented Software.

Ejemplares similares