Merkzettel Warenkorb
  • Produktbild: Formal Approaches to Software Testing and Runtime Verification
  • Produktbild: Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2006

Herausgeber

Klaus Havelund + weitere

Verlag

Springer Berlin

Seitenzahl

255

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-49699-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2006

Herausgeber

Verlag

Springer Berlin

Seitenzahl

255

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-49699-1

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)
  • Produktbild: Formal Approaches to Software Testing and Runtime Verification
  • Produktbild: Formal Approaches to Software Testing and Runtime Verification
  • Invited Talks.- Multi-paradigmatic Model-Based Testing.- Aspects for Trace Monitoring.- Regular Papers.- A Symbolic Framework for Model-Based Testing.- A Test Calculus Framework Applied to Network Security Policies.- Hybrid Input-Output Conformance and Test Generation.- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.- Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems.- Model-Based Testing of Thin-Client Web Applications.- Synthesis of Scenario Based Test Cases from B Models.- State-Identification Problems for Finite-State Transducers.- Deterministic Dynamic Monitors for Linear-Time Assertions.- Robustness of Temporal Logic Specifications.- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.- Dynamic Architecture Extraction.- Safety Property Driven Test Generation from JML Specifications.- Online Testing with Reinforcement Learning.