Documents Volker Fortströer. How improve quality control for reactive systems? Availability of a...

Slide 1Volker Fortströer Slide 2  How improve quality control for reactive systems?  Availability of a specification of system behavior ◦ Rarely precise & reliable…

Documents Seminar: Software Quality and Safety Learning By Testing

Learning By Testing Seminar: Software Quality and Safety Learning By Testing Volker Fortströer 1 How improve quality control for reactive systems? Availability of a specification…