Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
IEEE Transactions on Software Engineering
Testing Non-Deterministic State Machines with Fault Coverage
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Generation of Adaptive Test Cases from Nondeterministic Finite State Models
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Distinguishing Tests for Nondeterministic Finite State Machines
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Nondeterministic State Machines in Protocol Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Optimizing the Length of Checking Sequences
IEEE Transactions on Computers
Applying adaptive test cases to nondeterministic implementations
Information Processing Letters
Reducing the cost of applying adaptive test cases
Computer Networks: The International Journal of Computer and Telecommunications Networking
Testing randomized software by means of statistical hypothesis tests
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
On the synthesis of adaptive tests for nondeterministic finite state machines
Programming and Computing Software
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distinguing Non-deterministic Timed Finite State Machines
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
A Statistical Approach to Test Stochastic and Probabilistic Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Applying adaptive test cases to nondeterministic implementations
Information Processing Letters
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
Testing a probabilistic FSM using interval estimation
Computer Networks: The International Journal of Computer and Telecommunications Networking
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and 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
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Testing from X-machine specifications
Formal methods and testing
Checking experiments for stream X-machines
Theoretical Computer Science
Synthesis of distinguishing test cases for timed finite state machines
Programming and Computing Software
Testing techniques in software engineering
Testing techniques in software engineering
Experimental comparison of different techniques to generate adaptive sequences
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Adaptive testing of deterministic implementations specified by nondeterministic FSMs
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Reaching and Distinguishing States of Distributed Systems
SIAM Journal on Computing
Bounded sequence testing from non-deterministic finite state machines
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Conformance tests as checking experiments for partial nondeterministic FSM
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
The complexity of asynchronous model based testing
Theoretical Computer Science
Testing nondeterministic finite state machines with respect to the separability relation
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 14.99 |
The problem of generating a checking experiment from a nondeterministic finite state machine has been represented in terms of state counting. However, test techniques that use state counting traditionally produce preset test suites. This paper extends the notion of state counting in order to allow the input/output sequences observed in testing to be utilized: Adaptive state counting is introduced. The main benefit of the proposed approach is that it may result in a reduction in the size of the test suite used. An additional benefit is that, where a failure is observed, it is possible to terminate test generation at this point.