Lessons from the EUREX Workshops

There were three software-quality-related workshops organised by EUREX. Three of the workshops incorporated themes on software verification and testing in particular. The best of the workshop information is presented here. Although the workshops followed different formats and were adapted to the audience and the specific national culture, the editors have tried to present the information in a common form, giving each section a common structure. Following the workshop reviews, data from the workshops are synthesised into a summary that presents the problems and general conclusions from the entire workshop series.