Vor Ort
Merkzettel Warenkorb
  • Produktbild: Tests and Proofs
  • Produktbild: Tests and Proofs
Band 4454

Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.08.2007

Abbildungen

IX, 217 p.

Herausgeber

Bertrand Meyer + weitere

Verlag

Springer Berlin

Seitenzahl

217

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

359 g

Sprache

Englisch

ISBN

978-3-540-73769-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.08.2007

Abbildungen

IX, 217 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

217

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

359 g

Sprache

Englisch

ISBN

978-3-540-73769-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: 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
  • Produktbild: Tests and Proofs
  • Combining Static and Dynamic Reasoning for Bug Detection.- Testable Requirements and Specifications.- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.- Testing and Verifying Invariant Based Programs in the SOCOS Environment.- Testing and Proving Distributed Algorithms in Constructive Type Theory.- Automatic Testing from Formal Specifications.- Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.- Symbolic Execution Techniques for Refinement Testing.- Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.- Generating Unit Tests from Formal Proofs.- Using Model Checking to Generate Fault Detecting Tests.- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.