Skip to main content
Department of Information Technology

Testing of Timed Systems

In this project we study techniques for model-based testing of real-time systems. The project follows the follwoing research directions:

  • Formal specification language for coverage criteria
  • Techniques for automated test-case selection and generation for real-time systems
  • Automatic synthesis of executable test programs
  • Development of a tool for model-based testing, called UPPAAL CoVer


  • Anders Hessel, Ph.D. Student, Uppsala University
  • Fredrik Stenh, Master Thesis Student, Uppsala University
  • Paul Pettersson, Uppsala University


[[OPUS personid=hessel; group=Testing of Reactive Systems;sort=publicationdate;fields=authors,howpublished;style=bullet;max=40]]

Updated  2006-12-14 15:31:00 by Paul Pettersson.