Software Engineering and Formal Methods

1. Front Matter

   Pages i-xviii

   PDF

2. Invited Paper

   1. Front Matter

      Pages 1-1

      PDF

   2. Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data

      • Wil M. P. van der Aalst

      Pages 3-25

3. Cooperative Asynchronous Systems

   1. Front Matter

      Pages 27-27

      PDF

   2. Relating Session Types and Behavioural Contracts: The Asynchronous Case

      • Mario Bravetti, Gianluigi Zavattaro

      Pages 29-47

   3. Asynchronous Cooperative Contracts for Cooperative Scheduling

      • Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

      Pages 48-66

4. Cyber-Physical Systems

   1. Front Matter

      Pages 67-67

      PDF

   2. Automatic Failure Explanation in CPS Models

      • Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Ničković

      Pages 69-86

   3. Evolution of Formal Model-Based Assurance Cases for Autonomous Robots

      • Mario Gleirscher, Simon Foster, Yakoub Nemouchi

      Pages 87-104

   4. Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management

      • Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang et al.

      Pages 105-124

5. Feature-Oriented and Versioned Systems

   1. Front Matter

      Pages 125-125

      PDF

   2. SAT Encodings of the At-Most-k Constraint

      • Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer

      Pages 127-144

   3. Software Evolution with a Typeful Version Control System

      • Luís Carvalho, João Costa Seco

      Pages 145-161

   4. Compositional Feature-Oriented Systems

      • Clemens Dubslaff

      Pages 162-180

6. Model-Based Testing

   1. Front Matter

      Pages 181-181

      PDF

   2. Multi-objective Search for Effective Testing of Cyber-Physical Systems

      • Hugo Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio

      Pages 183-202

   3. Mutation Testing with Hyperproperties

      • Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

      Pages 203-221

   4. Test Model Coverage Analysis Under Uncertainty

      • I. S. W. B. Prasetya, Rick Klomp

      Pages 222-239

7. Model Inference

   1. Front Matter

      Pages 241-241

      PDF

   2. Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach

      • Florent Avellaneda, Alexandre Petrenko

      Pages 243-256

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.

The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized in the following topical sections: cooperative asynchronous systems; cyber-physical systems; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning; operating systems; program analysis; relating models and implementations; runtime verification; security; and verification.

• artificial intelligence
• computer operating systems
• cyber physical systems (cpss)
• embedded systems
• formal logic
• formal methods
• formal verifications
• graph theory
• model checking
• ontologies
• problem solving
• programming languages
• robotics
• robots
• semantics
• software engineering
• software evaluation
• specifications
• theorem proving
• verification

• University of Oslo, Oslo, Norway

  Peter Csaba Ölveczky

• University of Grenoble Alpes, Montbonnot, France

  Gwen Salaün

Policies and ethics