Published: 23rd August 2017|
|Preface Adrian Francalanza and Gordon J. Pace|
|A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger||1|
|A Survey of Runtime Monitoring Instrumentation Techniques Ian Cassar, Adrian Francalanza, Luca Aceto and Anna Ingólfsdóttir||15|
|Control-Flow Residual Analysis for Symbolic Automata Shaun Azzopardi, Christian Colombo and Gordon J. Pace||29|
|Exploring the Link Between Test Suite Quality and Automatic Specification Inference Luke Chircop, Christian Colombo and Mark Micallef||44|
|Fragmented Monitoring Oscar Cornejo, Daniela Briola, Daniela Micucci and Leonardo Mariani||57|
|Reliability and Fault-Tolerance by Choreographic Design Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina and Emilio Tuosto||69|
This volume contains the proceedings of PrePost 2017 (the Second International Workshop on Pre- and Post-Deployment Verification Techniques), taking place on 19th September 2017 in Torino, Italy, as a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017).
PrePost aims to bridge two areas of research and academic communities: on one hand techniques for analysis of systems prior to deployment, on the other techniques for the analysis of systems once they have already been deployed. The workshop brings together researchers working in the field of computer-aided validation, programming languages and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. This includes exploring relationships between techniques such as classic model checking and testing, with ones such as runtime verification and statistical model checking, between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring, gradual typing and contracts.
The proceedings of PrePost 2017 include six technical papers covering these areas. The workshop also included two invited talks, by Luca Padovani from the Università di Torino, Italy, and Alex Mifsud from Ixaris Ltd., UK.
We wish to thank the members of the Programme Committee for their invaluable input to the workshop:
Finally, we also thank the iFM 2017 organisers, the workshop participants and the EPTCS staff.