1. Moderator: Aditya P. Mathur Purdue University, West Lafayette, IN, USA Wednesday July 27, 2005. COMPSAC 2005. Edinburgh Modeling Based Software Testing and Verification Panelists: Fevzi Belli University of Paderborn, Paderborn, Germany Mats Heimdahl University of Minnesota, Minneapolis, USA Ashish Jain Telcordia Technologies, USA T. H. Tse University of Hong Kong, Hong Kong. [Regrets]

2. Questions  What is Model based software testing and verification?  What models are used?  Why use models in testing and verification?  Success stories? Failures?  Training needs for incorporating MBSTV?  Research in MBSTV: Future directions?  What tools are available to assist with MBSTV?

3. Model-based Testing and Verification Requirements Input domain Model Test Generation Verification of properties Application Tests

4. Models Set Theory/Logic B, Z, VDM, RMSL, …. Timed Automata, UPPAL,.. Graphical Finite State Machine State charts Event Sequence Graphs UML, etc. Combinatorial Orthogonal arrays Mixed-level covering arrays…

5. Tools Set Theory/Logic LEIRIOS Test Generator Graphical (IBM) Rational Rose Rhapsody (iLogix) Combinatorial AETG (Telcordia) TGV (INRIA + partners)

6. What next? Short presentations by panelists and discussion.