Checking Experiments with Labeled Transition Systems for Trace Equivalence

This publication has 8 references indexed in Scilit:

• A protocol test generation procedure
  Published by Elsevier ,2003
• A framework for conformance testing of systems communicating through rendezvous
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modeling Basic LOTOS by FSMs for Conformance Testing
  Published by Springer Nature ,1996
• Improvements on UIO Sequence Generation and Partial UIO Sequences
  Published by Elsevier ,1992
• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• The derivation of conformance tests from LOTOS specifications
  IEEE Transactions on Software Engineering, 1990
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• Fault detecting experiments for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1964