Formal scenario-based requirements specification and test case generation in healthcare applications.

Renate Lffler, Matthias Meyer, Matthias Gottschalk

Browse the full ICSE paper archive.