Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs

  title={Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs},
  author={Karnig Derderian and Robert Mark Hierons and Mark Harman and Qiang Guo},
  journal={Comput. J.},
This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation. 
Highly Cited
This paper has 61 citations. REVIEW CITATIONS


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

61 Citations

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

See our FAQ for additional information.


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

Fault-tolerant UIO sequences in finite state machines

  • K. Naik
  • In Proc. 8th IFIP Int. Workshop on Protocol Test…
  • 1995
Highly Influential
3 Excerpts

General Genetic Algorithm Tool

  • K. Derderian
  • Technical Report. Available at…
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…