Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Comments on “a reduced test suite for protocol conformance testing”
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Action refinement in conformance testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Testing in context: framework and test derivation
Computer Communications
Minimizing the cost of fault location when testing from a finite state machine
Computer Communications
Hi-index | 0.00 |