Test Generation in the Presence of Conflicting Timers

@inproceedings{Fecko2000TestGI,
  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},
  booktitle={TestCom},
  year={2000}
}
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

Citations

Publications citing this paper.

References

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…