Topic: Time-optimal Real-Time Test Case Generation

Abstract:
There is no doubt that Real-time systems are very critical and important.
Their Testing is the primary software validation technique used by
industry today, but remains ad-hoc, error prone and very expensive. I will
present the promising improvement of automatically generating real-time
conformance test cases from timed automata specifications. This technique
allows time optimal test cases to be generated using manually formulated
test purposes or generated automatically from various coverage criteria of
the model.