Skip to main content
  • Conference proceedings
  • Open Access
  • © 2018

Fundamental Approaches to Software Engineering

21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

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

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

Conference series link(s): FASE: International Conference on Fundamental Approaches to Software Engineering

Conference proceedings info: FASE 2018.

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)

Table of contents (19 papers)

  1. Front Matter

    Pages I-XII
  2. Model-Based Software Development

    1. Front Matter

      Pages 1-1
    2. A Formal Framework for Incremental Model Slicing

      • Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter
      Pages 3-20Open Access
    3. Multiple Model Synchronization with Multiary Delta Lenses

      • Zinovy Diskin, Harald König, Mark Lawford
      Pages 21-37Open Access
    4. Controlling the Attack Surface of Object-Oriented Refactorings

      • Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
      Pages 38-55Open Access
    5. Effective Analysis of Attack Trees: A Model-Driven Approach

      • Rajesh Kumar, Stefano Schivo, Enno Ruijters, Buǧra Mehmet Yildiz, David Huistra, Jacco Brandt et al.
      Pages 56-73Open Access
  3. Distributed Program and System Analysis

    1. Front Matter

      Pages 75-75
    2. ROLA: A New Distributed Transaction Protocol and Its Formal Analysis

      • Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
      Pages 77-93Open Access
    3. A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism

      • Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
      Pages 94-110Open Access
    4. Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems

      • Márton Búr, Gábor Szilágyi, András Vörös, Dániel  Varró
      Pages 111-128Open Access
    5. EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States

      • Joonyoung Park, Kwangwon Sun, Sukyoung Ryu
      Pages 129-145Open Access
  4. Software Design and Verification

    1. Front Matter

      Pages 147-147
    2. Supporting Verification-Driven Incremental Distributed Design of Components

      • Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
      Pages 169-188Open Access
    3. Summarizing Software API Usage Examples Using Clustering Techniques

      • Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton
      Pages 189-206Open Access
    4. Fast Computation of Arbitrary Control Dependencies

      • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
      Pages 207-224Open Access
  5. Specification and Program Testing

    1. Front Matter

      Pages 225-225
    2. Iterative Generation of Diverse Models for Testing Specifications of DSL Tools

      • Oszkár Semeráth, Dániel Varró
      Pages 227-245Open Access
    3. Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications

      • David Landsberg, Youcheng Sun, Daniel Kroening
      Pages 246-263Open Access
    4. TCM: Test Case Mutation to Improve Crash Detection in Android

      • Yavuz Koroglu, Alper Sen
      Pages 264-280Open Access

Other Volumes

  1. Fundamental Approaches to Software Engineering

About this book

This book is Open Access under a CC BY licence.

This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.
The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

Keywords

  • computer software maintenance
  • computer software selection and evaluation
  • formal logic
  • formal methods
  • formal specification
  • programming languages
  • semantics
  • software engineering
  • specifications
  • verification

Editors and Affiliations

  • Imperial College London, London, United Kingdom

    Alessandra Russo

  • TU Darmstadt, Darmstadt, Germany

    Andy Schürr

Bibliographic Information

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)