Vor Ort
Merkzettel Warenkorb
Produktbild: Tests and Proofs
Band 6143

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

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.06.2010

Herausgeber

Gordon Fraser + weitere

Verlag

Springer Berlin

Seitenzahl

174

Maße (L/B/H)

23,8/15,9/1,2 cm

Gewicht

307 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-13976-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.06.2010

Herausgeber

Verlag

Springer Berlin

Seitenzahl

174

Maße (L/B/H)

23,8/15,9/1,2 cm

Gewicht

307 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-13976-5

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Tests and Proofs
  • 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.