Testing in context: framework and test derivation

This publication has 11 references indexed in Scilit:

• Compositionality through an operational semantics of contexts
  Published by Springer Nature ,2005
• On fault coverage of tests for finite state specifications
  Computer Networks and ISDN Systems, 1996
• Submodule construction as equation solving in CCS
  Theoretical Computer Science, 1989
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989
• On Communicating Finite-State Machines
  Journal of the ACM, 1983
• On the Construction of Submodule Specifications and Communication Protocols
  ACM Transactions on Programming Languages and Systems, 1983
• Formal Methods in Communication Protocol Design
  IEEE Transactions on Communications, 1980
• An Automated Technique of Communications Protocol Validation
  IEEE Transactions on Communications, 1978
• Testing Software Design Modeled by Finite-State Machines
  IEEE Transactions on Software Engineering, 1978
• The Simplification of Sequential Machines with Input Restrictions
  IEEE Transactions on Computers, 1972