Current position
Research activities
My current focus concerns model-based testing from UML/OCL formal models, including test generation algorithms, test coverage strategies, risk-based testing, scenario-based testing, automated exploratory testing, ... Application domains cover IT entreprise information systems and embedded systems, for system testing, user acceptance testing and security testing.
Ongoing work:
- Theory of Model-Based Testing
- Strategies for test cases generation
- Automated generation from UML/OCL formal models
- Risk-based testing & Scenario-based testing
- Model-based Security testing
Current list of publications
Here is an updated list of publications.
Last update 08/6/2009
E-mail : legeard@lifc.univ-fcomte.fr
