Joachim Hänsel

Learn More
Model-Based Testing, the task of generating test inputs and oracles from a test model, has been successfully applied in the context of safety-critical real time systems. As these systems grow in complexity, test-models, designed to reflect the systems behaviour, will grow too. Currently testers face situations where test-models are too complex for present(More)
—Soaring costs and an aging society originate the need for novel technologies in health care sector. Especially telemedicine and AAL systems are often promoted as such. Enabling patients to stay in their domestic environment while reducing costs due to hospital visits seems to be an evaluable opportunity on the one hand but introduces a lot of challenges,(More)
  • 1