Warning: include(/web/website/conferences/issre/2004/fragments/doctype.php): failed to open stream: No such file or directory in /home/explo18/public_html/issre/2004/program-modeva.php on line 1

Warning: include(): Failed opening '/web/website/conferences/issre/2004/fragments/doctype.php' for inclusion (include_path='.:') in /home/explo18/public_html/issre/2004/program-modeva.php on line 1
Program: MoDeVa Workshop (November 2) [ISSRE 2004]
Warning: include(/web/website/conferences/issre/2004/fragments/header.php): failed to open stream: No such file or directory in /home/explo18/public_html/issre/2004/program-modeva.php on line 3

Warning: include(): Failed opening '/web/website/conferences/issre/2004/fragments/header.php' for inclusion (include_path='.:') in /home/explo18/public_html/issre/2004/program-modeva.php on line 3

Program: MoDeVa Workshop (November 2)

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

Warning: include(/web/website/conferences/issre/2004/fragments/footer.php): failed to open stream: No such file or directory in /home/explo18/public_html/issre/2004/program-modeva.php on line 50

Warning: include(): Failed opening '/web/website/conferences/issre/2004/fragments/footer.php' for inclusion (include_path='.:') in /home/explo18/public_html/issre/2004/program-modeva.php on line 50