Koha online

Your cart is empty.
Normal view MARC view ISBD view

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

by Fraser, Gordon [editor.]; Gargantini, Angelo [editor.]; SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 6143Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Description: 174p. 60 illus. online resource.ISBN: 9783642139772.Subject(s): Computer science | Software engineering | Computer software | Logic design | Computer Science | Programming Techniques | Logics and Meanings of Programs | Software Engineering | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Algorithm Analysis and Problem ComplexityDDC classification: 005.11 Online resources: Click here to access online
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.
In: Springer eBooksSummary: This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)

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.

This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010.

There are no comments for this item.

Log in to your account to post a comment.
@ Jomo Kenyatta University Of Agriculture and Technology Library

Powered by Koha