4th Workshop on Systems Testing and Validation

The need to count on trusted systems is growing day by day. Together with traditional domains such as medical devices, automotive, railway, aeronautical, space and telecommunications, new applications and services are coming up everyday. Terms such as ubiquitous, pervasive, or autonomic computing, products under the general umbrella of smart devices or the use of large wireless sensors networks indicate a clear trend in the increase of application complexity and dependency. Our daily life dependability on computers and computer systems is growing at a high rate, and validation is gaining importance at the same rate. To perform a proper validation process encounters a number of problems both from a technical and from a managerial point of view, also considering that the complexity of the underlying software is growing as well. As a consequence inputs from research contributions and experience from industry are required in order to enable innovative, and often more rigorous, approaches. The System Testing and Validation Workshop is a series of events initiated in the year 2002 and seeks to provide answers to the many open issues related to validation.