Establishment of conformance test services in Europe
Computer Standards & Interfaces - Open Systems Interconnection Standards
On the development of reactive systems
Logics and models of concurrent systems
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
OSI Conformance Testing Methodology and TTCN
OSI Conformance Testing Methodology and TTCN
Reduced Length Checking Sequences
IEEE Transactions on Computers
Optimizing the Length of Checking Sequences
IEEE Transactions on Computers
A Method for the Design of Fault Detection Experiments
IEEE Transactions on Computers
Using adaptive distinguishing sequences in checking sequence constructions
Proceedings of the 2008 ACM symposium on Applied computing
Generating Checking Sequences for Partial Reduced Finite State Machines
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Fault detecting experiments for sequential circuits
SWCT '64 Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Computer Standards & Interfaces
Checking Sequence Generation Using State Distinguishing Subsequences
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
IEEE Transactions on Parallel and Distributed Systems
Exploring alternatives for transition verification
Journal of Systems and Software
Applying adaptive test cases to nondeterministic implementations
Information Processing Letters
Checking Completeness of Tests for Finite State Machines
IEEE Transactions on Computers
Reaching and Distinguishing States of Distributed Systems
SIAM Journal on Computing
Using distinguishing and UIO sequences together in a checking sequence
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Reducing the lengths of checking sequences by overlapping
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Generalizing redundancy elimination in checking sequences
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Eliminating redundant tests in a checking sequence
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
On "Exploring alternatives for transition verification"
Journal of Systems and Software
| Hi-index | 0.00 |
In black-box conformance testing of reactive systems, the system is often assumed to be an implementation of a given finite state machine and to possess no more states than the machine. The key activity in the interpretation of an input/output sequence observed on the system is then to recognize the visited states as states of the specification machine. In the paper, three traditional state-recognition patterns (SRPs) are generalized to two much stronger, but still relatively easy to apply SRPs, and further to an extremely strong and general SRP from which further practically interesting SRPs can be developed simply by specialization.