Published: 25th May 2016
DOI: 10.4204/EPTCS.208
ISSN: 2075-2180

EPTCS 208

Proceedings First Workshop on
Pre- and Post-Deployment Verification Techniques
Reykjavík, Iceland, 4th June 2016

Edited by: Luca Aceto, Adrian Francalanza and Anna Ingolfsdottir

Preface
Luca Aceto, Adrian Francalanza and Anna Ingolfsdottir
Program Repair by Stepwise Correctness Enhancement
Nafi Diallo, Wided Ghardallou and Ali Mili
1
Model-based Testing of Mobile Systems – An Empirical Study on QuizUp Android App
Vignir Gudmundsson, Mikael Lindvall, Luca Aceto, Johann Bergthorsson and Dharmalingam Ganesan
16
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow and Martin Wegner
31
Monitoring Assumptions in Assume-Guarantee Contracts
Oleg Sokolsky, Teng Zhang, Insup Lee and Michael McDougall
46
Preliminary Results Towards Contract Monitorability
Annalizz Vella and Adrian Francalanza
54

Preface

This volume contains the proceedings of PrePost 2016 (the First International Workshop on Pre- and Post-Deployment Verification Techniques), taking place on 4th June 2016 in Reykjavik, Iceland, as a satellite event of the 12th International Conference on integrated Formal Methods (iFM 2016).

The PrePost (Pre- and Post-Deployment Verification Techniques) workshop aimed at bringing together researchers working in the field of computer-aided validation and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. Examples of the topics covered by the workshop are the relationships between classic model checking and testing on the one hand and runtime verification and statistical model checking on the other, and between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring.

We are honoured to have the following invited speakers at the workshop: We are most grateful to our programme committee: We also thank the iFM 2016 organizers and the EPTCS staff.

Luca Aceto, Adrian Francalanza and Anna Ingolfsdottir, April 2016.