Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

262 Pages·2019·11.68 MB·English

by  Hossein Hojjat, Mieke Massink

Hossein Hojjat
Mieke Massink (Eds.)
1
6
7 Fundamentals of
1
1

S
C Software Engineering
N
L
8th International Conference, FSEN 2019
Tehran, Iran, May 1–3, 2019
Revised Selected Papers
Lecture Notes in Computer Science 11761
Founding Editors
Gerhard Goos
Karlsruhe Institute of Technology, Karlsruhe, Germany
Juris Hartmanis
Cornell University, Ithaca, NY, USA
Editorial Board Members
Elisa Bertino
Purdue University, West Lafayette, IN, USA
Wen Gao
Peking University, Beijing, China
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Gerhard Woeginger
RWTH Aachen, Aachen, Germany
Moti Yung
Columbia University, New York, NY, USA
More information about this series at http://www.springer.com/series/7408
Hossein Hojjat Mieke Massink (Eds.)
(cid:129)
Fundamentals of
Software Engineering
8th International Conference, FSEN 2019
–
Tehran, Iran, May 1 3, 2019
Revised Selected Papers
123
Editors
HosseinHojjat Mieke Massink
Rochester Institute of Technology CNR-ISTI
Rochester, NY, USA Pisa,Italy
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-030-31516-0 ISBN978-3-030-31517-7 (eBook)
https://doi.org/10.1007/978-3-030-31517-7
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
©IFIPInternationalFederationforInformationProcessing2019
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, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
The increasing complexity of software and hardware systems and their ever more
central role in society poses many challenges concerning their reliability, safety,
correctness, and robustness. Based on a variety of fundamental concepts from
theoretical computer science to formal methods techniques aimed at making a
significant contribution to better quality systems. The development and use offormal
methods aspire to mathematically sound methods and tools for system analysis and
verification.
The present volume contains the post-proceedings of the 8th IPM International
Conference on Fundamentals of Software Engineering (FSEN 2019), which was held
in Tehran, Iran, during May 1–3, 2019. This two-yearly event is organized by the
School of Computer Science at the Institute for Research in Fundamental Sciences
(IPM)inIran.Thetopics ofinterestinFSENspanoverallaspectsofformal methods,
especiallythoserelatedtoadvancingtheapplicationofformalmethodsinthesoftware
industry and promoting their integration with practical engineering techniques.
The Program Committee of FSEN 2019 consisted of 44 top researchers from 17
countries. In this edition of FSEN, 47 submissions were received from 19 countries.
Each submission was reviewed by at least three independent referees, for its quality,
originality, contribution, clarity of presentation, and its relevance to the conference
topics. After thorough discussions on each individual paper, the referees selected 14
full papers and 3 short papers for inclusion in the present post-proceedings after a
further review of their revised versions.
Many people contributed to making FSEN 2019 a success. First of all, we would
like to thank all authors that submitted high-quality papers. Special thanks also go to
the Institute for Research in Fundamental Sciences (IPM) in Tehran, Iran, for their
financial support and for hosting FSEN 2019. We thank the distinguished keynote
speakers for their excellent presentations: Rocco De Nicola, Giovanna Di Marzo
Serugendo, and Martin Wirsing. We also thank the members of the Program
Committeefortheirexcellentcontributions,makingFSENahigh-qualityinternational
conference. Special thanks also go to the general chairs, Farhad Arbab and Hamid
Sarbaziazad, and to the Steering Committee, in particular Marjan Sirjani, for their
valuable support during all phases of the organization. We also thank the publicity
chair Maurice ter Beek for the efficient publicity, the local organization chair
Hamidreza Shahrabi and his wonderful team for their fantastic hospitality, as well as
EasyChairandSpringerfortheirfacilitiesthatgreatlyhelpedusrunthereviewprocess
and prepare the proceedings. Finally, we are indebted to all conference attendees for
their active and lively participation, also through the presentation of more than 15
posters, ultimately contributing to the success of this special conference series.
July 2019 Hossein Hojjat
Mieke Massink
Organization
Conference Chairs
Hossein Hojjat Rochester Institute of Technology, USA
Mieke Massink CNR-ISTI, Italy
Publicity Chair
Maurice H. ter Beek CNR-ISTI, Italy
Program Committee
Mohammad Abdollahi Iran University of Science and Technology, Iran
Azgomi
Erika Abraham RWTH Aachen University, Germany
Gul Agha University of Illinois at Urbana-Champaign, USA
Christel Baier Technical University Dresden, Germany
Ezio Bartocci Vienna University of Technology, Austria
Marcello Bonsangue University of Leiden, The Netherlands
Mario Bravetti University of Bologna, Italy
Michael Butler University of Southampton, UK
Alessandra Di Pierro University of Verona, Italy
Ali Ebnenasir Michigan Technological University, USA
Wan Fokkink Vrije Universiteit Amsterdam, The Netherlands
Adrian Francalanza University of Malta, Malta
Masahiro Fujita University of Tokyo, Japan
Maurizio Gabbrielli University of Bologna, Italy
Fatemeh Ghassemi University of Tehran, Iran
Jan Friso Groote EindhovenUniversityofTechnology,TheNetherlands
Hassan Haghighi Shahid Beheshti University, Iran
Philipp Haller KTH Royal Institute of Technology, Sweden
Hossein Hojjat Rochester Institute of Technology, USA
Mohammad Izadi Sharif University of Technology, Iran
Narges Khakpour Linnaeus University, Sweden
Ramtin Khosravi University of Tehran, Iran
Natallia Kokash IT Consultant NK Research, The Netherlands
Eva Kühn Vienna University of Technology, Austria
Kim Gulstrand Larsen Aalborg University, Denmark
Zhiming Liu Southwest University, China
Mieke Massink CNR-ISTI, Italy
Emanuela Merelli University of Camerino, Italy
viii Organization
Hassan Sharif University of Technology, Iran
Mirian-Hosseinabadi
Ugo Montanari University of Pisa, Italy
Peter Mosses Swansea University, UK
Mohammadreza Mousavi University of Leicester, UK
Ali Movaghar Sharif University of Technology, Iran
Magnus O. Myreen Chalmers University of Technology, Sweden
Shiva Nejati University of Luxemburg, Luxemburg
Jose Proença CISTER-ISEP and HASLab-INESC TEC, Portugal
Wolfgang Reisig Humboldt-Universitaet zu Berlin, Germany
Philipp Rümmer Uppsala University, Sweden
Gwen Salaün University of Grenoble Alpes, France
Cristina Seceleanu Mälardalen University, Sweden
Marjan Sirjani Mälardalen University, Sweden, and Reykjavík
University, Iceland
Marielle Stoelinga University of Twente, The Netherlands
Meng Sun Peking University, China
Carolyn Talcott SRI International, USA
Erik de Vink EindhovenUniversityofTechnology,TheNetherlands
Peter Ölveczky University of Oslo, Norway
Steering Committee
Farhad Arbab CWI and Leiden University, The Netherlands
Christel Baier Technical University Dresden, Germany
Frank de Boer CWI and Leiden University, The Netherlands
Ali Movaghar Sharif University of Technology, Iran
Hamid Sarbazi-azad IPM and Sharif University of Technology, Iran
Marjan Sirjani (Chair) Mälardalen University, Sweden, and Reykjavík
University, Iceland
Jan Rutten CWIandFreeUniversityAmsterdam,TheNetherlands
Additional Reviewers
Hugo Araujo Ali Jafari Thomas Neele
Giovanni Bacci Sung-Shik Jongmans Ali Nosrati
Maryam Bagheri Sebastian Junges Tope Omitola
Shirin Baghoolizadeh Saeed Khalafinejad Marco Piangerelli
Paolo Baldan Ajay Krishna Elisa Quintarelli
Frederik M. Bønneland Alfons Laarman Mehran Rivadeh
Mohammadsadegh Ivan Lanese Ali Sedaghatbaf
Dalvandi Tong Liu Mahsa Varshosaz
Carlos Diego Damasceno Alberto Lluch Lafuente Kim Völlinger
Eduard Enoiu Florian Lorber Stefano Pio Zingaro
Predrag Filipovikj Raluca Marinescu Johannes Åman Pohjola
Herman Geuvers Chiara Muzi
Stefania Gnesi Muhammad Nakhaee
Contents
Agent Based Systems
A Formal Model to Integrate Behavioral and Structural Adaptations
in Self-adaptive Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Narges Khakpour, Jetty Kleijn, and Marjan Sirjani
A Two-Dimensional Self-coordination Mechanism of Agents
in a Minority Game. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Sanaz Hasanzadeh Fard and Hadi Tabatabaee Malazi
A Persistent Entropy Automaton for the Dow Jones Stock Market . . . . . . . . 37
Marco Piangerelli, Luca Tesei, and Emanuela Merelli
Theorem Proving
Proof Guidance in PVS with Sequential Pattern Mining. . . . . . . . . . . . . . . . 45
M. Saqib Nawaz, Meng Sun, and Philippe Fournier-Viger
Using PVS for Modeling and Verification of Probabilistic Connectors. . . . . . 61
M. Saqib Nawaz and Meng Sun
Greenify: A Game with the Purpose of Test Data Generation
for Unit Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi,
Farzam Vatanzade, and Mojtaba Vahidi Asl
Learning
Active Learning of Industrial Software with Data . . . . . . . . . . . . . . . . . . . . 95
Lisette Sanchez, Jan Friso Groote, and Ramon R. H. Schiffelers
An Experimental Study on Flakiness and Fragility of Randoop
Regression Test Suites. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
Samad Paydar and Aidin Azamnouri
Verification
Formalizing and Analyzing Security Ceremonies with Heterogeneous
Devices in ANP and PDL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
Antonio González-Burgueño and Peter Csaba Ölveczky
x Contents
Logics for Petri Nets with Propagating Failures . . . . . . . . . . . . . . . . . . . . . 145
Leandro Gomes, Alexandre Madeira, and Mario Benevides
Verifying System-Wide Properties of Industrial
Component-Based Software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
Thomas Neele, Marijn Rol, and Jan Friso Groote
Distributed Algorithms
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness . . . 179
Samira Akili and Kim Völlinger
Taming Hierarchical Connectors. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
José Proença and Alexandre Madeira
Service Orchestration with Priority Constraints. . . . . . . . . . . . . . . . . . . . . . 194
Behnaz Changizi, Natallia Kokash, and Farhad Arbab
Program Analysis
Modeling Non-deterministic C Code with Active Objects. . . . . . . . . . . . . . . 213
Nathan Wasser, Asmae Heydari Tabar, and Reiner Hähnle
Verification of Smart Contract Business Logic: Exploiting a Java
Source Code Verifier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace,
Raúl Pardo, Vincent Rebiscoul, and Gerardo Schneider
An Approach to Generate Effective Fault Localization Methods
for Programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
Babak Bagheri, Mohammad Rezaalipour, and Mojtaba Vahidi-Asl
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261