ISBN: 9783540344544 - formal approaches to software testing: 5th international workshop, fates 2005, edinburgh, uk, july 11, 2005, revised selected papers (lecture notes in computer science, 3997, band 3997) (4 Ergebnisse)

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.…

Taschenbuch. Zustand: Neu. Formal Approaches to Software Testing | 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers | Wolfgang Grieskamp (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540344544 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …