Skip to main content
Springer Nature Link
Log in

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Einar Broch Johnsen

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ina Schaefer

    1. Braunschweig University of Technology, Braunschweig, Germany

    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 10886)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SEFM 2018.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

Similar content being viewed by others

Keywords

Table of contents (18 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Keynote

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. We Need a Testability Transformation Semantics

      • Mark Harman
      Pages 3-17

  3. Specification

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. From Software Specifications to Constraint Programming

      • Stefan Hallerstede, Miran Hasanagić, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel
      Pages 21-36

    3. Automated Specification Extraction and Analysis with Specstractor

      • Christoph Schulze, Rance Cleaveland, Mikael Lindvall
      Pages 37-53

    4. Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

      • Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin
      Pages 54-69

  4. Concurrency

    1. Front Matter

      Pages 71-71
      Download chapter PDF

    2. Program Verification for Exception Handling on Active Objects Using Futures

      • Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen
      Pages 73-88

    3. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems

      • Stefan Schupp, Erika Ábrahám
      Pages 89-104

    4. FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity

      • Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim
      Pages 105-120

  5. Program Analysis

    1. Front Matter

      Pages 121-121
      Download chapter PDF

    2. Monte Carlo Tree Search for Finding Costly Paths in Programs

      • Kasper Luckow, Corina S. Păsăreanu, Willem Visser
      Pages 123-138

    3. A Cloud-Based Execution Framework for Program Analysis

      • Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Luckow, Rody Kersten, Gabor Karsai
      Pages 139-154

    4. Cross-Architecture Lifter Synthesis

      • Rijnard van Tonder, Claire Le Goues
      Pages 155-170

  6. Model Checking and Runtime Verification

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. Counterexample Simplification for Liveness Property Violation

      • Gianluca Barbon, Vincent Leroy, Gwen Salaün
      Pages 173-188

    3. Online Enumeration of All Minimal Inductive Validity Cores

      • Jaroslav Bendík, Elaheh Ghassabani, Michael Whalen, Ivana Černá
      Pages 189-204

    4. \(\mathcal {P}revent\): A Predictive Run-Time Verification Framework Using Statistical Learning

      • Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister
      Pages 205-220

  7. Applications

    1. Front Matter

      Pages 221-221
      Download chapter PDF
Back to top

Other volumes

  1. Software Engineering and Formal Methods

Editors and Affiliations

  • University of Oslo, Oslo, Norway

    Einar Broch Johnsen

  • Braunschweig University of Technology, Braunschweig, Germany

    Ina Schaefer

Bibliographic Information

Publish with us

Policies and ethics

Back to top