My focus is on the automatic model-based test suite generation. Since industrial case studies with real errors are rare, I use mutation analysis to measure the fault detection ability of the generated test suites. I'm especially interested in the automation of mutation analysis and in the distinction of undetectable mutants and flaws of the test suite.