Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

443 Pages·2017·22.793 MB·English

by  Marieke Huisman, Julia Rubin (eds.)

Marieke Huisman
Julia Rubin (Eds.)
S
S
o
C
R
A
2
0
2
Fundamental Approaches
0
1

S
C to Software Engineering
N
L
20th International Conference, FASE 2017
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2017
Uppsala, Sweden, April 22–29, 2017, Proceedings
123
Lecture Notes in Computer Science 10202
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison, UK Takeo Kanade, USA
Josef Kittler, UK Jon M. Kleinberg, USA
Friedemann Mattern, Switzerland John C. Mitchell, USA
Moni Naor, Israel C. Pandu Rangan, India
Bernhard Steffen, Germany Demetri Terzopoulos, USA
Doug Tygar, USA Gerhard Weikum, Germany
Advanced Research in Computing and Software Science
Subline of Lecture Notes in Computer Science
Subline Series Editors
Giorgio Ausiello, University of Rome ‘La Sapienza’, Italy
Vladimiro Sassone, University of Southampton, UK
Subline Advisory Board
Susanne Albers, TU Munich, Germany
Benjamin C. Pierce, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Deng Xiaotie, City University of Hong Kong
Jeannette M. Wing, Microsoft Research, Redmond, WA, USA
More information about this series at http://www.springer.com/series/7407
Marieke Huisman Julia Rubin (Eds.)
(cid:129)
Fundamental Approaches
to Software Engineering
20th International Conference, FASE 2017
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2017
–
Uppsala, Sweden, April 22 29, 2017
Proceedings
123
Editors
Marieke Huisman Julia Rubin
University of Twente University of British Columbia
Enschede Vancouver, BC
TheNetherlands Canada
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-662-54493-8 ISBN978-3-662-54494-5 (eBook)
DOI 10.1007/978-3-662-54494-5
LibraryofCongressControlNumber:2017934067
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©Springer-VerlagGmbHGermany2017
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.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringer-VerlagGmbHGermany
Theregisteredcompanyaddressis:HeidelbergerPlatz3,14197Berlin,Germany
ETAPS Foreword
Welcome to the proceedings of ETAPS 2017, which was held in Uppsala! It was the
first time ever that ETAPS took place in Scandinavia.
ETAPS 2017 was the 20th instance of the European Joint Conferences on Theory
and Practice of Software. ETAPS is an annual federated conference established in
1998, and consists offive conferences: ESOP, FASE, FoSSaCS, TACAS, and POST.
Each conference has its own Program Committee (PC) and its own Steering Com-
mittee. The conferences cover various aspects of software systems, ranging from
theoretical computer science to foundations to programming language developments,
analysis tools, formal approaches to software engineering, and security. Organizing
these conferences in a coherent, highly synchronized conference program enables
participation in an exciting event, offering the possibility to meet many researchers
working in different directions in the field and to easily attend talks of different con-
ferences. Before and after the main conference, numerous satellite workshops take
place and attract many researchers from all over the globe.
ETAPS 2017 received 531 submissions in total, 159 of which were accepted,
yielding an overall acceptance rate of 30%. I thank all authors for their interest in
ETAPS, all reviewers for their peer reviewing efforts, the PC members for their con-
tributions,andinparticularthePC(co-)chairsfortheirhardworkinrunningthisentire
intensive process. Last but not least, my congratulations to all authors of the accepted
papers!
ETAPS 2017 was enriched by the unifying invited speakers Kim G. Larsen (Aal-
borg University, Denmark) and Michael Ernst (University of Washington, USA), as
wellastheconference-specificinvitedspeakers(FoSSaCS)JoelOuaknine(MPI-SWS,
Germany,andUniversityofOxford,UK)and(TACAS)DinoDistefano(Facebookand
Queen Mary University of London, UK). In addition, ETAPS 2017 featured a public
lecture by Serge Abiteboul (Inria and ENS Cachan, France). Invited tutorials were
offered by Véronique Cortier (CNRS research director at Loria, Nancy, France) on
security and Ken McMillan (Microsoft Research Redmond, USA) on compositional
testing.Mysincerethankstoallthesespeakersfortheirinspiringandinterestingtalks!
ETAPS2017tookplaceinUppsala,Sweden,andwasorganizedbytheDepartment
of Information Technology of Uppsala University. It was further supported by the
following associations and societies: ETAPS e.V., EATCS (European Association for
Theoretical Computer Science), EAPLS (European Association for Programming
LanguagesandSystems),andEASST(EuropeanAssociationofSoftwareScienceand
Technology). Facebook, Microsoft, Amazon, and the city of Uppsala financially sup-
ported ETAPS 2017. The local organization team consisted of Parosh Aziz Abdulla
(generalchair),WangYi,BjörnVictor,KonstantinosSagonas,MohamedFaouziAtig,
Andreina Francisco, Kaj Lampka, Tjark Weber, Yunyun Zhu, and Philipp Rümmer.
The overall planning for ETAPS is the main responsibility of the Steering Com-
mittee, and in particular of its executive board. The ETAPS Steering Committee
VI ETAPSForeword
consists of an executive board, and representatives of the individual ETAPS confer-
ences,aswellasrepresentativesofEATCS,EAPLS,andEASST.Theexecutiveboard
consists of Gilles Barthe (Madrid), Holger Hermanns (Saarbrücken), Joost-Pieter
Katoen (chair, Aachen and Twente), Gerald Lüttgen (Bamberg), Vladimiro Sassone
(Southampton),TarmoUustalu(Tallinn),andLenoreZuck(Chicago).Othermembers
of the Steering Committee are: Parosh Abdulla (Uppsala), Amal Ahmed (Boston),
Christel Baier (Dresden), David Basin (Zurich), Lujo Bauer (Pittsburgh), Dirk Beyer
(Munich), Giuseppe Castagna (Paris), Tom Crick (Cardiff), Javier Esparza (Munich),
Jan Friso Groote (Eindhoven), Jurriaan Hage (Utrecht), Reiko Heckel (Leicester),
Marieke Huisman (Twente), Panagotios Katsaros (Thessaloniki), Ralf Küsters (Trier),
Ugo del Lago (Bologna), Kim G. Larsen (Aalborg), Axel Legay (Rennes), Matteo
Maffei (Saarbrücken), Tiziana Margaria (Limerick), Andrzej Murawski (Warwick),
Catuscia Palamidessi (Palaiseau), Julia Rubin (Vancouver), Alessandra Russo
(London), Mark Ryan (Birmingham), Don Sannella (Edinburgh), Andy Schürr
(Darmstadt), Gabriele Taentzer (Marburg), Igor Walukiewicz (Bordeaux), and Hon-
gseokYang(Oxford).
I would like to take this opportunity to thank all speakers, attendees, organizers
of the satellite workshops, and Springer for their support. Finally, a big thanks to
Paroshandhislocalorganizationteamforalltheirenormouseffortsenablingafantastic
ETAPS in Uppsala!
January 2017 Joost-Pieter Katoen
Preface
This book contains the proceedings of FASE 2017, the 20th International Conference
on Fundamental Approaches to Software Engineering, held in Uppsala, Sweden in
April2017,aspartoftheannualEuropeanJointConferencesonTheoryandPracticeof
Software (ETAPS 2017).
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 short tool demo papers. The papers in this volume cover a wide
range of topics, such as program and system analysis, model transformations, con-
figuration and synthesis, graph modeling and transformation, software product lines,
test selection, and learning and inference. We hope that the community will find this
volume engaging and worth reading.
Thecontributionsincludedhavebeencarefullyselected.Forthesecondtime,FASE
usedadouble-blindreviewprocess,aslastyear’sexperimentwasconsideredvaluable
byauthorsandworththeadditionaleffortofanonymizingthepapers.Wereceived114
abstractsubmissionsfrom33differentcountries,fromwhich91full-papersubmissions
materialized. All papers were reviewed by three experts in the field, and after intense
discussion, only 25 were accepted, giving an acceptance rate of 27%.
We thank the ETAPS 2017 organizers, Parosh Aziz Abdulla and his team, the
ETAPSpublicitychair,TarmoUustala,andtheETAPSSCchair,Joost-PieterKatoen,
fortheirsupportduringthewholeprocess.Wethankalltheauthorsfortheirhardwork
and willingness to contribute. Last but not least, we thank all the Program Committee
members and external reviewers who invested time and effort in the selection process
to ensure the scientific quality of the program.
January 2017 Marieke Huisman
Julia Rubin
Organization
Program Committee
Jordi Cabot ICREA, Spain
Yuanfang Cai Drexel University, USA
Sagar Chaki Carnegie Mellon University, USA
Hana Chockler King’s College London, UK
Ewen Denney SGT/NASA Ames, USA
Bernd Fischer Stellenbosch University, South Africa
Milos Gligoric University of Texas at Austin, USA
Stefania Gnesi ISTI-CNR, Italy
Dilian Gurov KTH Royal Institute of Technology, Sweden
Mark Harman University College London, UK
Reiko Heckel University of Leicester, UK
Marieke Huisman University of Twente, The Netherlands
Valérie Issarny Inria Paris – Rocquencourt, France
Einar Broch Johnsen University of Oslo, Norway
Martin Leucker University of Lübeck, Germany
Antónia Lopes University of Lisbon, Portugal
Shiva Nejati University of Luxembourg, Luxembourg
Fabrizio Pastore University of Milano-Bicocca, Italy
Julia Rubin University of British Columbia, Canada
Bernhard Rumpe RWTH Aachen, Germany
Alessandra Russo Imperial College London, UK
Rick Salay University of Toronto, Canada
Ina Schaefer Technische Universität Braunschweig, Germany
Andy Schürr TU Darmstadt, Germany
Perdita Stevens University of Edinburgh, UK
Gabriele Taentzer Philipps-Universität Marburg, Germany
Dániel Varró McGill University, Canada, and Budapest University of
Technology and Economics, Hungary
Andrzej Wasowski IT University of Copenhagen, Denmark
Virginie Wiels ONERA, France
Additional Reviewers
Adam, Kai Baumann, Christoph Bürdek, Johannes
Al-Sibahi, Ahmad Salim Bergmann, Gábor Canovas Izquierdo,
Angarita, Rafael Boniol, Frédéric Javier Luis
Balliu, Musard Bruce, Bobby Carnevali, Laura
Basile, Davide Butting, Arvid Chemouil, David
X Organization
Ciccozzi, Federico Lamo, Yngve Schlie, Alexander
Clarisó, Robert Leblebici, Erhan Schmitz, Malte
D’Ausbourg, Bruno Lity, Sascha Schwarz, Oliver
Daniel, Gwendal Luthmann, Lars Semeráth, Oszkár
De Vink, Erik Mao, Ke Semini, Laura
Debreceni, Csaba Markin, Grigory Stanciulescu, Stefan
Decker, Normann Markov, Minko Stolz, Volker
Dimovski, Aleksandar S. Martins, Francisco Stümpel, Annette
Din, Crystal Chang Martínez, Salvador Szárnyas, Gábor
Eikermann, Robert Mauro, Jacopo T. Vasconcelos, Vasco
Enea, Constantin Melgratti, Hernan TapiaTarifa,Silvia Lizeth
Fantechi, Alessandro Melo, Jean Ter Beek, Maurice H.
Ferrari, Alessio Nagy, András Szabolcs Thoma, Daniel
Franco, Juliana Nassar, Nebras Thorn, Johannes
Greene, Gillian Nemati, Hamed Tomaszek, Stefan
Greifenberg, Timo Nesic, Damir Tribastone, Mirco
Guanciale, Roberto Nieke, Michael van der Berg, Freark
Gómez, Abel Picazo-Sanchez, Pablo Varro, Gergely
Heim, Robert Planas, Elena Vaupel, Steffen
Janota, Mikolas Proenca, Jose von Wenckstern, Michael
Kautz, Oliver Pun, Ka I. Weckesser, Markus
Kluge, Roland Raco, Deni Westman, Jonas
Knüppel, Alexander Roth, Alexander Whiteside, Iain
Kulcsár, Géza Roux, Pierre Wong, Peter
Kusmenko, Evgeny Santos, André Xiao, Lu
Kästner, Christian Scheffel, Torben
Lachmann, Remo Schlatte, Rudolf