Testing of Reactive Systems

This is an Old Unmaintained page Please go to the current page.

The aim of the group is to develop and enhance techniques for formal testing of reactive software systems. The main topics include:

• Test Generation for Protocol Services and Real-Time Systems
• Learning of Reactive and Timed Systems

Projects

• Testing of Timed Systems - The goal of this project is to develop techniques and tools for model-based testing of timed systems.
• STEP (Symbolic Testing of Erlang Programs) - The goal of this project is to develop new and enhance existing techniques for testing Erlang programs.
• Learning of Reactive Systems - The goal of this project is to develop new and enhance existing techniques for learning reactive systems.
• Learning of Timed Systems - The goal of this project is to devlop techniques for learning timed systems.

Seminars

• Recent Trends in Program Analysis, Verification, and Testing
• On Learning and Testing

Members

• Current: Therese Berg, Johan Blom, Olga Grinchtein, Anders Hessel, Bengt Jonsson, and Paul Pettersson
• Former: Noomene Ben Henda, Martin Leucker, and Mayank Saksena