Advertisement

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

  • Alessandra Russo
  • Andy Schürr
Open Access
Conference proceedings FASE 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10802)

Table of contents

  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-20 Open Access
      PDF
    3. Multiple Model Synchronization with Multiary Delta Lenses
      Zinovy Diskin, Harald König, Mark Lawford
      Pages 21-37 Open Access
      PDF
    4. Controlling the Attack Surface of Object-Oriented Refactorings
      Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
      Pages 38-55 Open Access
      PDF
    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-73 Open Access
      PDF

  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-93 Open Access
      PDF
    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-110 Open Access
      PDF
    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-128 Open Access
      PDF
    5. EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States
      Joonyoung Park, Kwangwon Sun, Sukyoung Ryu
      Pages 129-145 Open Access
      PDF

  4. Software Design and Verification

    1. Front Matter
      Pages 147-147
      PDF
    2. Hierarchical Specification and Verification of Architectural Design Patterns
      Diego Marmsoler
      Pages 149-168 Open Access
      PDF
    3. Supporting Verification-Driven Incremental Distributed Design of Components
      Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
      Pages 169-188 Open Access
      PDF
    4. Summarizing Software API Usage Examples Using Clustering Techniques
      Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton
      Pages 189-206 Open Access
      PDF
    5. Fast Computation of Arbitrary Control Dependencies
      Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
      Pages 207-224 Open Access
      PDF

  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-245 Open Access
      PDF
    3. Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications
      David Landsberg, Youcheng Sun, Daniel Kroening
      Pages 246-263 Open Access
      PDF
    4. TCM: Test Case Mutation to Improve Crash Detection in Android
      Yavuz Koroglu, Alper Sen
      Pages 264-280 Open Access
      PDF
    5. CRETE: A Versatile Binary-Level Concolic Testing Framework
      Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie
      Pages 281-298 Open Access
      PDF

  6. Family-Based Software Development

    1. Front Matter
      Pages 299-299
      PDF
    2. Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\)
      Aleksandar S. Dimovski
      Pages 301-318 Open Access
      PDF
    3. FPH: Efficient Non-commutativity Analysis of Feature-Based Systems
      Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin
      Pages 319-336 Open Access
      PDF
    4. Taming Multi-Variability of Software Product Line Transformations
      Daniel Strüber, Sven Peldzsus, Jan Jürjens
      Pages 337-355 Open Access
      PDF
  7. Back Matter
    Pages 357-357
    PDF

About these proceedings

Introduction

This book is Open Access under a CC BY licence.

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

  1. 1.Imperial College LondonLondonUnited Kingdom
  2. 2.TU DarmstadtDarmstadtGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-89363-1
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89362-4
  • Online ISBN 978-3-319-89363-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site