Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1-2 in M´ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the p...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Fraser, Gordon (Editor ), Gargantini, Angelo (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6143
Temas:
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Machine theory.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Talks
  • How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback
  • Myths in Software Engineering: From the Other Side
  • Specifications from Testing
  • QuickSpec: Guessing Formal Specifications Using Testing
  • Testing Proofs
  • Testing First-Order Logic Axioms in Program Verification
  • Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases
  • Proof Process Evaluation with Mutation Analysis
  • Test Generation Using Proof Techniques
  • Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay
  • DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
  • Combining Static Analysis and Test Generation for C Program Debugging
  • Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
  • Theorem Proving and Testing
  • Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions
  • Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications
  • Abstraction
  • Syntactic Abstraction of B Models to Generate Tests
  • Building a Test-Ready Abstraction of a Behavioral Model Using CLP.

Ejemplares similares