Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
The Art of Software Testing
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
Introduction to Software Testing
Introduction to Software Testing
On the synthesis of adaptive tests for nondeterministic finite state machines
Programming and Computing Software
Hi-index | 0.00 |
The focus of this paper is to present the results of a set of experiments regarding the construction of an adaptive sequence by a genetic algorithm and other techniques in order to reach a goal state in a non-deterministic finite state machine.