Experience with test generation for real protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
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
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Conformance Relations and Test Derivation
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Formal Methods for Conformance Testing: Results and Perspectives
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Nondeterministic State Machines in Protocol Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Conformance testing to real-time communications systems
Computer Communications
Hi-index | 0.24 |
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and coworkers generate a set of candidates and then produce further tests to locate the failures within this set. We consider a special case where there is a state identification process that is known to be correct. A number of preset and adaptive approaches to fault location are described and the problem of minimizing the cost is explored. Some of the approaches lead to NP-hard optimization problems for which possible heuristics are suggested.