Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextPublisher number: 11759744Series: Lecture notes in computer science ; 3997. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, ©2006.Description: 1 online resource (xii, 217 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540344551
  • 3540344551
  • 3540344543
  • 9783540344544
Other title:
  • FATES 2005
Subject(s): Genre/Form: Additional physical formats: Print version:: Formal approaches to software testing.DDC classification:
  • 005.131 22
  • 004.01/51 22
LOC classification:
  • QA76.9.F67 F522 2005eb
Other classification:
  • SS 4800
  • 004
  • DAT 330f
Online resources:
Contents:
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.
In: Springer eBooks
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

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.

English.

Powered by Koha