Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Protocol conformance test generation using multiple UIO sequences with overlapping
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Optimal length test sequence generation using distinguishing sequences
IEEE/ACM Transactions on Networking (TON)
On the generation of minimal-length conformance tests for communication protocols
IEEE/ACM Transactions on Networking (TON)
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
Test Generation for Multiple State-Table Faults in Finite-State Machines
IEEE Transactions on Computers
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Testing Enbredded Software
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Reduced Length Checking Sequences
IEEE Transactions on Computers
Protocol Conformance Testing Using Multiple UIO Sequences
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Conformance Testing of Protocol Machines without Reset
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Fault Coverage of UIO-based Methods for Protocol Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
Using a minimal number of resets when testing from a finite state machine
Information Processing Letters
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Research: Construction of checking sequences based on characterization sets
Computer Communications
Ant colony optimisation for generation of conformance testing sequences using a characterising set
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
| Hi-index | 0.00 |
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state machines. Many finite state machine based test techniques utilize sequences that check the final states of transitions, the most general such sequence being a separating sequence: an input sequence that distinguishes between two states of an FSM. When using such techniques the test sequence length can be reduced by utilizing overlap. This paper investigates overlap for separating sequences and shows how this can be incorporated into test sequence generation.