Test Generation in the Presence of Conflicting Timers

  title={Test Generation in the Presence of Conflicting Timers},
  author={Mariusz A. Fecko and Paul D. Amer and M. {\"U}mit Uyar and Ali Y. Duale},
As part of the UD’s and CCNY’s ongoing effort to generate conformance tests for the Army network protocol MIL-STD 188-220, a significant obstacle has been addressed— when multiple timers are running simultaneously, a test sequence may become unrealizable if there are conflicting conditions based on a protocol’s timers. This problem, termed the conflicting timers problem, is handled in the hitherto generated tests by manually expanding a protocol’s extended FSM based on the set of conflicting… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS


Publications citing this paper.


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

Resolving inconsistencies in EFSM-modeled specifications

  • M. U. Uyar, A. Y. Duale
  • Proc. IEEE MILCOM: Military Commun. Conf…
  • 1999
3 Excerpts

Similar Papers

Loading similar papers…