Skip to main content
Book cover
  • 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

Editors:

  1. Alessandra Russo

    1. Imperial College London, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andy Schürr

    1. TU Darmstadt, Darmstadt, 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 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.

Sections

Softcover Book EUR 54.99
Price includes VAT (Finland)
  • ISBN: 978-3-319-89362-4
  • Dispatched in 3 to 5 business days
  • Exclusive offer for individuals only
  • Free shipping worldwide
    See shipping information.
  • Tax calculation will be finalised during checkout
Learn about institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages I-XII
    PDF

  2. Model-Based Software Development

    1. Front Matter

      Pages 1-1
      PDF

    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
      PDF

    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
      PDF

    3. Supporting Verification-Driven Incremental Distributed Design of Components

      • Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
      Pages 169-188Open Access

    4. Summarizing Software API Usage Examples Using Clustering Techniques

      • Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton
      Pages 189-206Open Access

    5. 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
      PDF

    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
Back to top

Other Volumes

  1. Fundamental Approaches to Software Engineering

Back to top

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.
Back to top

Keywords

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

Editors and Affiliations

  • Imperial College London, London, United Kingdom

    Alessandra Russo

  • TU Darmstadt, Darmstadt, Germany

    Andy Schürr

Back to top

Bibliographic Information

Back to top
Softcover Book EUR 54.99
Price includes VAT (Finland)
  • ISBN: 978-3-319-89362-4
  • Dispatched in 3 to 5 business days
  • Exclusive offer for individuals only
  • Free shipping worldwide
    See shipping information.
  • Tax calculation will be finalised during checkout
Learn about institutional subscriptions