Queued Testing of Transition Systems with Inputs and Outputs

  title={Queued Testing of Transition Systems with Inputs and Outputs},
  author={Alex Petrenko and Nina Yevtushenko}
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent a system under test from producing outputs, while the system does not block inputs from the tester either. Thus, input from the tester and output from the system may occur simultaneously and should be queued in finite buffers between the tester and system. A framework for a so-called queued-quiescence testing is developed, based on the idea that… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
12 Citations
14 References
Similar Papers


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


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

An Introduction to Input/Output Automata

  • N. Lynch, M. R. Tuttle
  • CWI Quaterly, 2(3)
  • 1989
Highly Influential
4 Excerpts


  • A. Petrenko, N. Yevtushenko
  • v. Bochmann, R. Dssouli, Testing in Context…
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…