Panel Session at COMPSAC 2005, July 25-28, Edinburgh

Moderator: Aditya Mathur

Professor, Department of Computer Science, Purdue University, West Lafayette, Indiana, USA

Research in Model-based Software Testing and Verification (MBSTV) dates back at least to the 70's when Chow proposed the W-method for test generation from FSM based designs. Today, MBSTV is in regular use in a variety of industrial applications, and especially so in critical applications.

The objective of this panel session is to raise awareness regarding the strengths and limitations of MBSTV and share experiences derived in the industrial context. One outcome of the panel discussion will be the identification of critical research issues in MBSTV.

Each panelist will focus on one or more of the following topics in the context of MBST:

• Successful and not-so successful experiences
• Training needs
• Evaluation of MBSTV in an application context
• Combining MBSTV with coverage metrics
• Use of finite state, combinatorial, and other models
• Research needs in MBSTV
• Tools for MBSTV

There will be a one-page statement published in the conference proceedings. In addition, each panelist may have a one-page position paper published in the conference proceedings (Volume 1). Each panelist will need to register for the conference. If a panelist has already paid full registration as an author or co-author, then the panelist does not need to pay additional registration fee.