Timed Testing with TorX

  title={Timed Testing with TorX},
  author={Henrik C. Bohnenkamp and Axel Belinfante},
TorX is a specification-based, on-the-fly testing tool that tests for ioco conformance of implementations w.r.t. a formal specification. This paper describes an extension of TorX to not only allow testing for functional correctness, but also for correctness w.r.t. timing properties expressed in the specification. An implementation then passes a timed test if it passes according to ioco, and if occurrence times of outputs or of quiescence signals are legal according to the specification. The… CONTINUE READING
Highly Cited
This paper has 52 citations. REVIEW CITATIONS
36 Citations
16 References
Similar Papers


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

52 Citations

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

See our FAQ for additional information.


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

Real-time system testing on-thefly

  • M. Mikucionis, B. Nielsen, K. G. Larsen
  • 15th Nordic Workshop on Programming Theory,
  • 2003
1 Excerpt

D’Argenio. Testing timed automata

  • J. G. Springintveld, F. W. Vaandrager, P.R
  • Theoretical Computer Science,
  • 2001
1 Excerpt

Specification based formal testing: The easylink case study

  • A. Belinfante, J. Feenstra, L. Heerink, R. G. de Vries
  • In 2nd Workshop Emb. Systems (PROGRESS
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…