Among the verification and validation (V&V) strategies software testing methods are the ones most commonly used in industry. Software testing can be very effective both in revealing failures and assessing functional correctness, however, testing cannot provide evidence of the absence of faults. More rigorous and effective strategies to reason about correctness range from model checking to model-based software testing methods. These V&V methods are typically applied at design time. Therefore, the assessment of system properties occurring during system execution for reassuring these system properties after adaption requires not only traditional V&V methods to be applied at runtime but also the adoption of novel ones to be applied in the various adaption phases. For example, the system may be adapted and reach a state that was unforeseen at design time, thus the system has not been verified for that state. Therefore, the following questions arise:
Which properties can be exclusively verified/tested at design time?
Which properties can be verified/tested at time of system configuration?
Which properties need to be verified/tested at runtime?
Therefore, VVASS aims at bringing together academics and practitioners working in the area of V&V methods of Adaptive Software Systems to exchange and discuss the latest synergies and results of their research. We explicitly encourage participation of researchers from different communities that intersect with self-adaptive systems and their V&V. Beside of topical discussion, VVASS 2019 provides an excellent networking opportunity.
Program Committee Rui Maranhao Abreu, University of Lisbon, Portugal Radu Calinescu, University of York, United Kingdom Ceren Sahin Gebizli, SnT, Luxembourg Holger Giese, Hasso-Plattner-Institut, Germany Alexander Knapp, University of Augsburg, Germany Shuji Morisaki, Nagoya University, Japan Wolfgang Reif, University of Augsburg, Germany Daniel Rodriguez, University of Alcalá, Spain Sven Tomforde, University of Kassel, Germany Piërre van de Laar, ESI (TNO), Netherlands Gerhard Weiss, Maastricht University, Netherlands Franz Wotawa, Graz University of Technology, Austria