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

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings / edited by Gordon Fraser, Angelo Gargantini.

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1–2 in Ḿ 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 pa...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Fraser, Gordon (Editor), Gargantini, Angelo (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Programming and Software Engineering ; 6143
Springer eBook Collection.
Subjects:
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.

Similar Items