Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers PDF
Preview Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
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
The list of books you might like
