Skip to main content
SpringerLink
Log in

Fundamentals of Software Engineering

8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Hossein Hojjat

    1. Rochester Institute of Technology, Rochester, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mieke Massink

    1. CNR-ISTI, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11761)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FSEN 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Agent Based Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

      • Narges Khakpour, Jetty Kleijn, Marjan Sirjani
      Pages 3-19

    3. A Two-Dimensional Self-coordination Mechanism of Agents in a Minority Game

      • Sanaz Hasanzadeh Fard, Hadi Tabatabaee Malazi
      Pages 20-36

    4. A Persistent Entropy Automaton for the Dow Jones Stock Market

      • Marco Piangerelli, Luca Tesei, Emanuela Merelli
      Pages 37-42

  3. Theorem Proving

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Proof Guidance in PVS with Sequential Pattern Mining

      • M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
      Pages 45-60

    3. Using PVS for Modeling and Verification of Probabilistic Connectors

      • M. Saqib Nawaz, Meng Sun
      Pages 61-76

    4. Greenify: A Game with the Purpose of Test Data Generation for Unit Testing

      • Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi Asl
      Pages 77-92

  4. Learning

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Active Learning of Industrial Software with Data

      • Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers
      Pages 95-110

    3. An Experimental Study on Flakiness and Fragility of Randoop Regression Test Suites

      • Samad Paydar, Aidin Azamnouri
      Pages 111-126

  5. Verification

    1. Front Matter

      Pages 127-127
      Download chapter PDF

    2. Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL

      • Antonio González-Burgueño, Peter Csaba Ölveczky
      Pages 129-144

    3. Logics for Petri Nets with Propagating Failures

      • Leandro Gomes, Alexandre Madeira, Mario Benevides
      Pages 145-157

    4. Verifying System-Wide Properties of Industrial Component-Based Software

      • Thomas Neele, Marijn Rol, Jan Friso Groote
      Pages 158-175

  6. Distributed Algorithms

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness

      • Samira Akili, Kim Völlinger
      Pages 179-185

    3. Taming Hierarchical Connectors

      • José Proença, Alexandre Madeira
      Pages 186-193

    4. Service Orchestration with Priority Constraints

      • Behnaz Changizi, Natallia Kokash, Farhad Arbab
      Pages 194-209
Back to top

Other volumes

  1. Fundamentals of Software Engineering

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.

The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.

Editors and Affiliations

  • Rochester Institute of Technology, Rochester, USA

    Hossein Hojjat

  • CNR-ISTI, Pisa, Italy

    Mieke Massink

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation