Merkzettel Warenkorb
  • Produktbild: Tests and Proofs
  • Produktbild: Tests and Proofs
Band 8570

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Aus der Reihe Lecture Notes in Computer Science

47,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.08.2014

Abbildungen

XII, 76 illus., schwarz-weiss Illustrationen

Herausgeber

Martina Seidl + weitere

Verlag

Springer

Seitenzahl

214

Maße (L/B/H)

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

Gewicht

355 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-09098-6

Beschreibung

Portrait

Martina Seidl ist Assistenzprofessorin am Institut für formale Modelle und Verifikation der Johannes Kepler Universität Linz und Research Associate in der Business Informatics Group der TU Wien.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.08.2014

Abbildungen

XII, 76 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

214

Maße (L/B/H)

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

Gewicht

355 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-09098-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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)
Die Leseprobe wird geladen.
  • Produktbild: Tests and Proofs
  • Produktbild: Tests and Proofs

  • Model-Based Mutation Testing of an Industrial Measurement Device.- Computing with an SMT Solver.- An Abstraction Technique for Testing Decomposable Systems by Model Checking.- An All-in-One Toolkit for Automated White-Box Testing.- Behaviour Driven Development for Tests and Verification.- Quality Assurance in MBE Back and Forth.- Visualizing Unbounded Symbolic Execution.- Film stripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models.- Generating Classified Parallel Unit Tests.- JTACO: Test Execution for Faster Bounded Verification.- Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.- A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing.- Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses: Tutorial Synopsis.- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers.- Lightweight State Capturing for Automated Testing of Multithreaded Programs.- How Test Generation Helps Software Specification and Deductive Verification in Frama-C.