Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

440 Pages·2016·25.69 MB·English

by  Perdita Stevens

Perdita Stevens
Andrzej Wąsowski (Eds.)
S
S
o
C
R
A
3
3
Fundamental Approaches
6
9

S
C to Software Engineering
N
L
19th International Conference, FASE 2016
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2016
Eindhoven, The Netherlands, April 2–8, 2016, Proceedings
123
Lecture Notes in Computer Science 9633
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison,UK TakeoKanade,USA
JosefKittler,UK JonM.Kleinberg,USA
FriedemannMattern,Switzerland JohnC.Mitchell,USA
MoniNaor,Israel C.PanduRangan,India
BernhardSteffen,Germany DemetriTerzopoulos,USA
DougTygar,USA GerhardWeikum,Germany
Advanced Research in Computing and Software Science
SublineofLectureNotesin ComputerScience
SublineSeries Editors
GiorgioAusiello,UniversityofRome‘LaSapienza’,Italy
VladimiroSassone,UniversityofSouthampton,UK
SublineAdvisoryBoard
SusanneAlbers,TUMunich,Germany
BenjaminC.Pierce,UniversityofPennsylvania,USA
BernhardSteffen,UniversityofDortmund,Germany
DengXiaotie,CityUniversityofHongKong
JeannetteM.Wing,MicrosoftResearch,Redmond,WA,USA
Moreinformationaboutthisseriesathttp://www.springer.com/series/7407
ą
Perdita Stevens Andrzej W sowski (Eds.)
(cid:129)
Fundamental Approaches
to Software Engineering
19th International Conference, FASE 2016
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2016
–
Eindhoven, The Netherlands, April 2 8, 2016
Proceedings
123
Editors
Perdita Stevens Andrzej Wąsowski
University of Edinburgh ITUniversity ofCopenhagen
Edinburgh Copenhagen
UK Denmark
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-662-49664-0 ISBN978-3-662-49665-7 (eBook)
DOI 10.1007/978-3-662-49665-7
LibraryofCongressControlNumber:2016932867
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©Springer-VerlagBerlinHeidelberg2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringer-VerlagGmbHBerlinHeidelberg
ETAPS Foreword
WelcometotheproceedingsofETAPS2016,whichwasheldinEindhoven,locatedin
“theworld’ssmartestregion,”alsoknownastheDutchSiliconValley.SinceETAPS’
second edition held in Amsterdam (1999), ETAPS returned to The Netherlands this
year.
ETAPS 2016 was the 19th instance of the European Joint Conferences on Theory
and Practice of Software. ETAPS is an annual federated conference established in
1998, consisting of five constituting conferences (ESOP, FASE, FoSSaCS, TACAS,
andPOST)thisyear.EachconferencehasitsownProgrammeCommitteeanditsown
Steering Committee. The conferences cover various aspects of software systems,
ranging from theoretical computer science to foundations to programming language
developments,analysistools,formalapproachestosoftwareengineering,andsecurity.
Organizing these conferences in a coherent, highly synchronized conference program,
enables attendees to participate in an exciting event, having the possibility to meet
many researchers working in different directions in the field, and to easily attend the
talks of various conferences. Before and after the main conference, numerous satellite
workshops took place and attracted many researchers from all over the globe.
The ETAPS conferences received 474 submissions in total, 143 of which were
accepted, yielding an overall acceptance rate of 30.2%. I thank all authors for their
interest in ETAPS, all reviewers for their peer-reviewing efforts, the Program Com-
mitteemembersfortheircontributions,andinparticulartheprogramco-chairsfortheir
hardworkinrunningthisintensiveprocess.Lastbutnotleast,mycongratulationstoall
the authors of the accepted papers!
ETAPS2016wasgreatlyenrichedbytheunifyinginvitedspeakersAndrewGordon
(MSR Cambridge and University of Edinburgh, UK), and Rupak Majumdar (MPI
Kaiserslautern, Germany), as well as the conference-specific invited speakers (ESOP)
Cristina Lopes (University of California at Irvine, USA), (FASE) Oscar Nierstrasz
(UniversityofBern,Switzerland),and(POST)VitalyShmatikov(UniversityofTexas
atAustin,USA).InvitedtutorialswereorganizedbyLenoreZuck(Chicago)andwere
provided by Grigore Rosu (University of Illinois at Urbana-Champaign, USA) on
software verification and Peter Ryan (University of Luxembourg, Luxembourg) on
security.Mysincerethankstoallthesespeakersfortheirinspiringandinterestingtalks!
ETAPS 2016 took place in Eindhoven, The Netherlands. It was organized by the
Department of Computer Science of the Eindhoven University of Technology. It was
further supported by the following associations and societies: ETAPS e.V., EATCS
(European Association for Theoretical Computer Science), EAPLS (European Asso-
ciationforProgrammingLanguagesandSystems),andEASST(EuropeanAssociation
of Software Science and Technology). The local organization team consisted of Mark
van den Brand, Jan Friso Groote (general chair), Margje Mommers, Erik Scheffers,
Julien Schmaltz, Erik de Vink, Anton Wijs, Tim Willemse, and Hans Zantema.
VI ETAPSForeword
The overall planning for ETAPS is the main responsibility of the Steering
Committee, and in particular of its Executive Board. The ETAPS Steering Committee
consists of an Executive Board and representatives of the individual ETAPS confer-
ences, as well as representatives of EATCS, EAPLS, and EASST. The Executive
BoardconsistsofGillesBarthe(Madrid),HolgerHermanns(Saarbrücken),Joost-Pieter
Katoen (chair, Aachen and Twente), Gerald Lüttgen (Bamberg), Vladimiro Sassone
(Southampton), and Tarmo Uustalu (Tallinn). Other members of the Steering Com-
mittee are: Parosh Abdulla (Uppsala), David Basin (Zurich), Giuseppe Castagna
(Paris), Marsha Chechik (Toronto), Javier Esparza (Munich), Jan Friso Groote
(Eindhoven), Reiko Heckel (Leicester), Marieke Huisman (Twente), Bart Jacobs
(Nijmegen),PaulKlint(Amsterdam),JensKnoop(Vienna),KimG.Larsen(Aalborg),
Axel Legay (Rennes), Christof Löding (Aachen), Matteo Maffei (Saarbrücken),
Pasquale Malacaria (London), Tiziana Margaria (Limerick), Andrzej Murawski
(Warwick), Catuscia Palamidessi (Palaiseau), Frank Piessens (Leuven), Jean-Francois
Raskin (Brussels), Mark Ryan (Birmingham), Julia Rubin (Massachussetts), Don
Sannella(Edinburgh),PerditaStevens(Edinburgh),GabrieleTaentzer(Marburg),Peter
Thiemann (Freiburg), Luca Vigano (London), Igor Walukiewicz (Bordeaux), Andrzej
Wąsowski (Copenhagen), and Hongseok Yang (Oxford).
I sincerely thank all ETAPS Steering Committee members for all their work in
making the 19th edition of ETAPS a success. Moreover, thanks to all speakers,
attendees,organizersofthesatelliteworkshops,andSpringerfortheirsupport.Finally,
a bigthanks toJan Friso and his local organization team for all theirenormous efforts
enabling ETAPS to take place in Eindhoven!
January 2016 Joost-Pieter Katoen
ETAPS SC Chair
ETAPS e.V. President
Preface
This book contains the proceedings of FASE 2016, the 19th International Conference
on Fundamental Approaches to Software Engineering, held in Eindhoven in April
2016, as part of the annual European Joint Conferences on Theory and Practice of
Software (ETAPS 2016).
As usual for FASE, the contributions combine the development of conceptual and
methodologicaladvanceswiththeirformalfoundations,toolsupport,andevaluationon
realistic or pragmatic cases. As a result the volume contains regular research papers,
long tool papers, and a short tool demo paper. It is also complemented by a contro-
versialbutveryinterestingessayfromourkeynotespeaker,OscarNierstrasz.Wehope
that the community will find this volume engaging and worth reading.
The contributions included have been carefully selected. We received 108 abstract
submissions,fromwhich90full-papersubmissionsmaterialised.Allwerereviewedby
experts in the field, and after intense discussion, only 24 were accepted, giving an
acceptance rate of only 27%. We thank all the authors for their hard work and will-
ingness to contribute, and all the Programme Committee members and external
reviewers who invested time in the selection process.
Thisyear,FASEhasexperimentedwithadouble-blindreviewprocess.Theauthors
were asked not to disclose their identity in the papers submitted for review. The
reviewerswerethusabletoreadanddiscussthepaperswhileavoidingunintendedbias
causedbyauthornames,affiliations,andotherpotentialinfluencingfactors.Thesurvey
of authors’ preferences indicates that the authors find this feature of the process
valuable, and worth the additional effort of anonymising the papers. We thank the
many people who filled in our surveys on the subject. FASE is likely to experiment
morewiththeideainthefuture.ThecommunityisencouragedtocontacttheSteering
Committee members if they would like to comment.
January 2016 Perdita Stevens
Andrzej Wąsowski
Organization
Programme Committee
Sagar Chaki Carnegie Mellon University, USA
Nancy Day University of Waterloo, Canada
Ewen Denney SGT/NASA Ames, USA
Juergen Dingel Queen’s University, Canada
Stéphane Ducasse Inria Lille Nord Europe, France
Alexander Egyed Johannes Kepler University, Austria
Bernd Fischer Stellenbosch University, South Africa
Milos Gligoric University of Illinois at Urbana-Champaign, USA
Stefania Gnesi ISTI-CNR, Italy
Marieke Huisman University of Twente, The Netherlands
Valerie Issarny Inria, France
Marta Kwiatkowska University of Oxford, UK
Barbara König Universität Duisburg-Essen, Germany
Axel Legay IRISA/Inria, Rennes, France
Martin Leucker University of Lübeck, Germany
Fabrizio Pastore University of Luxembourg
Julia Rubin Massachusetts Institute of Technology, USA
Bernhard Rumpe RWTH Aachen University, Germany
Ina Schaefer Technische Universität Braunschweig, Germany
Perdita Stevens University of Edinburgh, UK
Marielle I.A. Stoelinga University of Twente, The Netherlands
Gabriele Taentzer Philipps-Universität Marburg, Germany
Mohammad Torabi Dashti ETH Zurich, Switzerland
Andrzej Wąsowski IT University of Copenhagen, Denmark
Martin Wirsing Ludwig-Maximilians-Universität München, Germany
Yingfei Xiong Peking University, China
Additional Reviewers
Arendt, Thorsten Botterweck, Goetz
Autili, Marco Britz, Arina
Basset, Nicolas Calinescu, Radu
Beohar, Harsh Cito, Jürgen
Bertram, Vincent Darabi, Saeed
Biondi, Fabrizio Decker, Normann
Blom, Stefan Demuth, Andreas
X Organization
Dong, Wei Nagarajan, Vijay
Eikermann, Robert Nieke, Michael
Fahrenberg, Uli Noll, Thomas
Fantechi, Alessandro Oortwijn, Wytse
Ferrari, Alessio Paoletti, Nicola
Fischer, Stefan Plotnikov, Dimitri
Gerhold, Marcus Poll, Erik
Golas, Ulrike Priefer, Dennis
Gordon, Michael Qu, Hongyang
Greene, Gillian Quilbeuf, Jean
Guarnieri, Marco Raco, Deni
Guck, Dennis Rensink, Arend
Harder, Jannis Roth, Alexander
Heim, Robert Saha, Ripon
Hermerschmidt, Lars Scheffel, Torben
Hildebrandt, Thomas Schmitz, Malte
Huang, Xiaowei Schrammel, Peter
Hölldobler, Katrin Schulze, Christoph
Ismail, Azlan Schulze, Sandro
Itzhaky, Shachar Schumann, Johann
Jiang, Jiajun Seidl, Christoph
Kerstan, Henning Selim, Gehan M.K.
Kim, Chang Hwan Peter Semini, Laura
Knapp, Alexander Shafiei, Nastaran
Knaust, Alexander Sirjani, Marjan
Kolassa, Carsten Spagnolo, Giorgio Oronzo
Kowal, Matthias Strüber, Daniel
Kretchmer, Roland Stückrath, Jan
Kumar, Rajesh Stümpel, Annette
Kuraj, Ivan Svoreňová, Mária
Küpper, Sebastian Thoma, Daniel
Lachmann, Remo Thorn, Johannes
Linsbauer, Lukas Tiezzi, Francesco
Lity, Sascha Traonouez, Louis-Marie
Markin, Grigory Tribastone, Mirco
Mazzanti, Franco Tsankov, Petar
Meijer, Jeroen Vallecillo, Antonio
Meis, Rene van Dijk, Tom
Milios, Dimitrios von Wenckstern, Michael
Mir Seyed Nazari, Pedram Wille, David
Moreira, Alvaro Yu, Ingrid Chie
Mostowski, Wojciech Zufferey, Damien
Naddeo, Marco