Testing from a nondeterministic finite state machine using adaptive state counting

  title={Testing from a nondeterministic finite state machine using adaptive state counting},
  author={Robert Mark Hierons},
  journal={IEEE Transactions on Computers},
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. We extend 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… CONTINUE READING
Highly Cited
This paper has 98 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 53 extracted citations

Model-based testing strategies and their (in)dependence on syntactic model representations

International Journal on Software Tools for Technology Transfer • 2017
View 16 Excerpts
Highly Influenced

Bounded sequence testing from deterministic finite state machines

Theor. Comput. Sci. • 2010
View 4 Excerpts
Highly Influenced

n-Complete Test Suites for IOCO

View 9 Excerpts
Highly Influenced

An overview of testing generation methods for protocol conformance testing

2013 IEEE International Conference on Signal Processing, Communication and Computing (ICSPCC 2013) • 2013
View 6 Excerpts
Highly Influenced

n-Complete test suites for IOCO

Software Quality Journal • 2018
View 1 Excerpt

Testing from Partial Finite State Machines without Harmonised Traces

IEEE Transactions on Software Engineering • 2017
View 2 Excerpts

99 Citations

Citations per Year
Semantic Scholar estimates that this publication has 99 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 19 references

Similar Papers

Loading similar papers…