FASE 2018 Accepted Papers

  • Diego Marmsoler. Hierarchical Specification and Verification of Architecture Design Patterns
  • David Landsberg, Youcheng Sun and Daniel Kroening. Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications
  • Si Liu, Peter Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta and Jose Meseguer. ROLA: A New Distributed Transaction Protocol and Its Formal Analysis
  • Claudio Menghi, Paola Spoletini, Marsha Chechik and Carlo Ghezzi. Supporting Verification-Driven Incremental Distributed Design of Components
  • Aleksandar S. Dimovski. Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL*
  • Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld and Julia Rubin. FPH:  Efficient Non-Commutativity Analysis of Feature-Based Systems
  • Panagiotis Katsaros, Peter Poplavko, Fotios Gioulekas, Saddek Bensalem and Pedro Palomo. A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
  • Jean-Christophe Léchenet, Nikolai Kosmatov and Pascale Le Gall. Fast Computation of Arbitrary Control Dependencies
  • Gabriele Taentzer, Timo Kehrer, Christopher Pietsch and Udo Kelter. A Formal Framework for Incremental Model Slicing
  • Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara and Fei Xie. CRETE: A Versatile Binary-Level Concolic Testing Framework
  • Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus and Malte Lochau. Controlling the Attack Surface of Object-Oriented Refactorings
  • Oszkár Semeráth and Daniel Varro. Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
  • Márton Búr, Gábor Szilágyi, András Vörös and Daniel Varro. Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
  • Zinovy Diskin, Harald König and Mark Lawford. Multiple Model Synchronization with Multiary Delta Lenses
  • Joonyoung Park, Kwangwon Sun and Sukyoung Ryu. EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States
  • Daniel Strüber, Sven Peldszus and Jan Jürjens. Multi-Variability of Software Product Line Transformations
  • Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink and Mariëlle Stoelinga. Efficient Analysis of Attack Trees: a Model-Driven Approach
  • Nikolaos Katirtzis, Themistoklis Diamantopoulos and Charles Sutton. Summarizing Software API Usage Examples using Clustering Techniques
  • Yavuz Koroglu and Alper Sen. TCM: Test Case Mutation to Improve Crash Detection in Android