Hi, My scientific area is formal methods in software engineering. I currently investigate model-based testing using metaheuristic search techniques, with a special application domain in service-oriented architectures. This work was initiated during my post-doctoral time at SAP Research, Germany. |
