Testability of Formal Specifications

No abstract is available for this paper.

• Publication year

  1992

• Venue

  Protocol Specification, Testing and Verification

• Publication date

  1992-06-22

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/B978-0-444-89874-6.50011-8
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Formal Approach to Conformance Testing

  1993cited by this paper
• Interactive Test Generation from LOTOS Specifications

  1992cited by this paper
• Relating Events for Conformance Testing - a Pragmatic Approach

  1991cited by this paper
• Test Case Derivation from LOTOS Specifications

  1989cited by this paper
• The CO-OP Method for Compositional Derivation of Conformance Testers

  1989cited by this paper
• Testing Equivalences for Processes

  1984cited by this paper

• Finite S

  2009cites this paper
• Improving fault coverage and minimising the cost of fault identification when testing from finite state machines

  2006cites this paper
• Principles and methods of testing finite state machines-a survey

  1996cites this paper
• Principl Finite S

  1996cites this paper