Matthias Kegele

Learn More
We combine model-based testing and mutation testing to automatically generate a test suite that achieves a high mutation adequacy score. The original model representing the system under test is mutated. To generate test cases that detect whether a modelled fault has been implemented , we perform a refinement check between the original and the mutated(More)
  • 1