Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
On the Complexity of Generating Optimal Test Sequences
IEEE Transactions on Software Engineering
Testing finite state machines: fault detection
Selected papers of the 23rd annual ACM symposium on Theory of computing
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Graph Theory With Applications
Graph Theory With Applications
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification-based Testing for Gui-based Applications
Software Quality Control
Reduced Length Checking Sequences
IEEE Transactions on Computers
Expressing Graphical User's Input for Test Specifications
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Towards Specification-based Web Testing
Revised Papers from the NETWORKING 2002 Workshops on Web Engineering and Peer-to-Peer Computing
Checking Sequence Generation for Asynchronous Sequential Elements
ITC '99 Proceedings of the 1999 IEEE International Test Conference
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Optimizing the Length of Checking Sequences
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
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
An Approach to Testing with Embedded Context Using Model Checker
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploring alternatives for transition verification
Journal of Systems and Software
Generating checking sequences for a distributed test architecture
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
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
Generating a checking sequence with a minimum number of reset transitions
Automated Software Engineering
Checking experiments for stream X-machines
Theoretical Computer Science
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
Detecting observability problems in distributed testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
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
Conditions for avoiding controllability problems in distributed testing
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and 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
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
New state-recognition patterns for conformance testing of finite state machine implementations
Computer Standards & Interfaces
On "Exploring alternatives for transition verification"
Journal of Systems and Software
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
Information and Software Technology
| Hi-index | 14.99 |
A general model for constructing minimal length checking sequences employing a distinguishing sequence is proposed. The model is based on characteristics of checking sequences and a set of state recognition sequences. Some existing methods are shown to be special cases of the proposed model and are proven to construct checking sequences. The minimality of the resulting checking sequences is discussed and a heuristic algorithm for the construction of minimal length checking sequences is given.