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

Members

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

Publications

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