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
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
Using a minimal number of resets when testing from a finite state machine
Information Processing Letters
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Optimizing the Length of Checking Sequences
IEEE Transactions on Computers
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Conformance of distributed systems
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Generating a checking sequence with a minimum number of reset transitions
Automated Software Engineering
Minimizing coordination channels in distributed testing
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Proceedings of the 5th India Software Engineering Conference
Research: Improving the UIOv-method for protocol conformance testing
Computer Communications
| Hi-index | 0.00 |