Advertisement

Fundamental Approaches to Software Engineering

23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

  • Heike Wehrheim
  • Jordi Cabot
Open Access
Conference proceedings FASE 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xiii
    PDF

  2. Invited Talk

    1. Front Matter
      Pages 1-1
      PDF
    2. Improving Symbolic Automata Learning with Concolic Execution
      Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser
      Pages 3-26 Open Access
      PDF

  3. FASE Contributions

    1. Front Matter
      Pages 27-27
      PDF
    2. Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic
      Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang
      Pages 29-52 Open Access
      PDF
    3. Integrating Topological Proofs with Model Checking to Instrument Iterative Design
      Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
      Pages 53-74 Open Access
      PDF
    4. A Generalized Formal Semantic Framework for Smart Contracts
      Jiao Jiao, Shang-Wei Lin, Jun Sun
      Pages 75-96 Open Access
      PDF
    5. An Empirical Study on the Use and Misuse of Java 8 Streams
      Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray
      Pages 97-118 Open Access
      PDF
    6. Extracting Semantics from Question-Answering Services for Snippet Reuse
      Themistoklis Diamantopoulos, Nikolaos Oikonomou, Andreas Symeonidis
      Pages 119-139 Open Access
      PDF
    7. Global Reproducibility Through Local Control for Distributed Active Objects
      Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte
      Pages 140-160 Open Access
      PDF
    8. Multi-level Model Product Lines
      Juan de Lara, Esther Guerra
      Pages 161-181 Open Access
      PDF
    9. Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
      Aleksandar S. Dimovski, Axel Legay
      Pages 182-202 Open Access
      PDF
    10. Skill-Based Verification of Cyber-Physical Systems
      Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer
      Pages 203-223 Open Access
      PDF
    11. Generating Large EMF Models Efficiently
      Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer
      Pages 224-244 Open Access
      PDF
    12. Family-Based SPL Model Checking Using Parity Games with Variability
      Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
      Pages 245-265 Open Access
      PDF
    13. Model-Based Tool Support for Service Design
      Francisco J. Pérez-Blanco, Juan M. Vara, Cristian Gómez, Valeria De Castro, Esperanza Marcos
      Pages 266-272 Open Access
      PDF
    14. Incremental Concurrent Model Synchronization using Triple Graph Grammars
      Fernando Orejas, Elvira Pino, Marisa Navarro
      Pages 273-293 Open Access
      PDF
    15. Statistical Model Checking for Variability-Intensive Systems
      Maxime Cordy, Mike Papadakis, Axel Legay
      Pages 294-314 Open Access
      PDF
    16. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
      Nils Weidmann, Anthony Anjorin
      Pages 315-334 Open Access
      PDF
    17. Towards Multiple Model Synchronization with Comprehensive Systems
      Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
      Pages 335-356 Open Access
      PDF
    18. Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles
      Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani
      Pages 357-377 Open Access
      PDF
    19. Business Process Compliance Using Reference Models of Law
      Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
      Pages 378-399 Open Access
      PDF
    20. Algorithmic Analysis of Blockchain Efficiency with Communication Delay
      Carlos Pinzón, Camilo Rocha, Jorge Finke
      Pages 400-419 Open Access
      PDF
    21. Holistic Specifications for Robust Programs
      Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
      Pages 420-440 Open Access
      PDF
    22. Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
      Aren A. Babikian, Oszkár Semeráth, Dániel Varró
      Pages 441-461 Open Access
      PDF
    23. Combining Partial Specifications using Alternating Interface Automata
      Ramon Janssen
      Pages 462-481 Open Access
      PDF
    24. Revisiting Semantics of Interactions for Trace Validity Analysis
      Erwan Mahe, Christophe Gaston, Pascale Le Gall
      Pages 482-501 Open Access
      PDF

  4. Test-Comp Contributions

    1. Front Matter
      Pages 503-503
      PDF
    2. Second Competition on Software Testing: Test-Comp 2020
      Dirk Beyer
      Pages 505-519 Open Access
      PDF
    3. HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)
      Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs
      Pages 520-524 Open Access
      PDF
    4. ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory
      Mikhail R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis Nicole
      Pages 525-529 Open Access
      PDF
    5. TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)
      Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
      Pages 530-534 Open Access
      PDF
    6. LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)
      Hoang M. Le
      Pages 535-539 Open Access
      PDF
    7. CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
      Marie-Christine Jakobs
      Pages 540-544 Open Access
      PDF
    8. Legion: Best-First Concolic Testing (Competition Contribution)
      Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
      Pages 545-549 Open Access
      PDF
  5. Back Matter
    Pages 551-552
    PDF

About these proceedings

Introduction

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions.
The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Keywords

open access software engineering requirements engineering model-based design software analysis testing software architectures security model transformations software evolution software product lines architecting artificial intelligence computer programming computer systems embedded systems mathematics software architecture software design

Editors and affiliations

  1. 1.University of PaderbornPaderbornGermany
  2. 2.ICREAOpen University of CataloniaBarcelonaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-45234-6
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2020
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-45233-9
  • Online ISBN 978-3-030-45234-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site