| 9:00 - 10:00am |
Pascale Le Gall + questions |
| 10:00 - 10:30 |
Coffee Break |
| 10:30 - 11 |
M.Petit and A. Gotlieb : "An Ongoing work on statistical structural testing via probabilistic concurrent constraint programming" |
| 11 - 11:30 |
Y. Le Traon and B. Baudry : "Optimal Allocation of Testing Ressources" |
| 11:30 - Noon |
A. Lakehal, F.Ouabdesselam, I. Parissis and J. Vassy : "Models for Synchronous Software Testing" |
| Noon - 2:00pm |
Lunch |
| 2:00 - 2:30 |
F. Fleurey, J. Steel and B. Baudry : " Validation in Model-Driven Engineering: Testing Model Transformations" |
| 2:30 - 3:00 |
E. Zaitseva, S. Kovalik, V. Levashenko and K. Matiasko : " Reliability Analysis of the k-out-of-n Multi-State System" |
| 3:00 - 3:30 |
B. Florentz, M. Mutz and M. Huhn : " Avoiding Unpredicted Behaviour of Large Sacle Embedded Systems by Design and Application of Modelling Rules" |
| 3:30 |
Discussion |
