Computer Communications
A Test Design Methodology for Protocol Testing
IEEE Transactions on Software Engineering
Test sequence selection based on static data flow analysis
Computer Communications
A protocol test generation procedure
Computer Networks and ISDN Systems
A structural test selection criterion
Information Processing Letters
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
A new technique for generating protocol test
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems
Journal of the ACM (JACM)
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Protocol Conformance Testing Using Multiple UIO Sequences
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
A new protocol conformance test generation method and experimental results
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Optimal length test sequence generation using distinguishing sequences
IEEE/ACM Transactions on Networking (TON)
IEEE/ACM Transactions on Networking (TON)
Synchronizable test sequences based on multiple UIO sequences
IEEE/ACM Transactions on Networking (TON)
Scientific foundations to the multilevel method
IEEE/ACM Transactions on Networking (TON)
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
A dynamic protocol conformance test method
Journal of Systems and Software
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Conformance Testing Based on UML State Machines
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Using status messages in the distributed test architecture
Information and Software Technology
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
Reducing test sequence length using invertible sequences
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Testing in the distributed test architecture
Formal methods and testing
Research: Improving the UIOv-method for protocol conformance testing
Computer Communications
Minimizing the cost of fault location when testing from a finite state machine
Computer Communications
Hi-index | 0.00 |
This paper describes an optimization method for reducing the length of protocol conformance test sequences by overlapping test subsequences obtained using UIO sequences. It is shown that test sequences generated by this method are substantially shorter than those generated by other methods employing UIO sequences.