Something to read ...

Here, you can download my PhD thesis with the title Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines. You will find some interesting results about integrating boundary value analysis in automatic model-based test generation, about combining different models, and about making structural coverage criteria exchangeable with semantic-preserving model transformations.

The list will be extended in the near future. More information about recent publications can be found here.