Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / / Wolfgang Grieskamp, Carsten Weise (eds.)

• Pubblicazione: Berlin, : Springer-Verlag, c2006
• Edizione: 1st ed. 2006.
• Descrizione fisica: 1 online resource (XII, 219 p.)
• Disciplina: 004.01/51
• Soggetto topico: Formal methods (Computer science); Computer software - Testing
• Altri autori: GrieskampWolfgang <1960-> WeiseCarsten
• Note generali: "The workshop on Formal Approaches to Testing of Software (FATES)"--Foreword.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Altri titoli varianti: FATES 2005
• Titolo autorizzato: Formal approaches to software testing
• ISBN: 3-540-34455-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910483902403321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 3997.; LNCS sublibrary. : SL 2, . -Programming and software engineering.