Formal approaches to software testing
Authors
Parameters
More about the book
InhaltsverzeichnisProceedings 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.
Book purchase
Formal approaches to software testing, Wolfgang Grieskamp
- Language
- Released
- 2006
Payment methods
- Title
- Formal approaches to software testing
- Language
- English
- Authors
- Wolfgang Grieskamp
- Publisher
- Springer
- Released
- 2006
- ISBN10
- 3540344543
- ISBN13
- 9783540344544
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- InhaltsverzeichnisProceedings 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.