Renate Löffler, Matthias Meyer, Matthias Gottschalk. Formal scenario-based requirements specification and test case generation in healthcare applications. In Lori A. Clarke, Jens H. Weber-Jahnke, editors, Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, SEHC 2010, Cape Town, South Africa, May 3-4, 2010. pages 57-67, ACM, 2010. [doi]
Abstract is missing.