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)
support the notion that aa positions at 129 and 131 in the envelope gene are critical genetic markers for phylogenet-ic classifi cation of DENV-2 (7–9). Notably, residue 131 in the envelope gene is located within a pH-dependent hinge region at the interface between domains I and II of the envelope protein. Mutations at this region may affect the pH(More)
In safety-critical applications, the real-time behavior is crucial for the correctness of the overall system and must be tested thoroughly. However, the generation of test traces that cover most or all of the desired behavior of a real-time system is a difficult challenge. In this paper, we present an evolutionary algorithm that generates timed test traces,(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