Model-based software testing and verification panel at COMPSAC 2005, Edinburgh, July 26-28

While research into model based testing and verification (MSTV) is almost as old as the field of Computer Science, there has been a recent surge in the application and evaluation of MSTV technologies. MSTV has found takers in the embedded systems such as those found in medical devices, engine controllers, plant controllers, and mobile devices. The current panel is organized to focus on the successes of MSTV, its strengths, and its shortcomings. The panel will focus on the following in the context of MSTV: 1) what is "Model based testing and verification"?; 2) state-of-the-art and state-of-practice; 3) economic benefits; 4) strengths and weaknesses; and 5) research directions.