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

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

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

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 2020.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (31 papers)

  1. Front Matter

    Pages i-xiii
  2. Invited Talk

    1. Front Matter

      Pages 1-1
    2. Improving Symbolic Automata Learning with Concolic Execution

      • Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser
      Pages 3-26Open Access
  3. FASE Contributions

    1. Front Matter

      Pages 27-27
    2. Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic

      • Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang
      Pages 29-52Open Access
    3. Integrating Topological Proofs with Model Checking to Instrument Iterative Design

      • Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
      Pages 53-74Open Access
    4. A Generalized Formal Semantic Framework for Smart Contracts

      • Jiao Jiao, Shang-Wei Lin, Jun Sun
      Pages 75-96Open Access
    5. An Empirical Study on the Use and Misuse of Java 8 Streams

      • Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh, Baishakhi Ray
      Pages 97-118Open Access
    6. Extracting Semantics from Question-Answering Services for Snippet Reuse

      • Themistoklis Diamantopoulos, Nikolaos Oikonomou, Andreas Symeonidis
      Pages 119-139Open Access
    7. Global Reproducibility Through Local Control for Distributed Active Objects

      • Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte
      Pages 140-160Open Access
    8. Multi-level Model Product Lines

      • Juan de Lara, Esther Guerra
      Pages 161-181Open Access
    9. Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting

      • Aleksandar S. Dimovski, Axel Legay
      Pages 182-202Open Access
    10. Skill-Based Verification of Cyber-Physical Systems

      • Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer
      Pages 203-223Open Access
    11. Generating Large EMF Models Efficiently

      • Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer
      Pages 224-244Open Access
    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-265Open Access
    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-272Open Access
    14. Incremental Concurrent Model Synchronization using Triple Graph Grammars

      • Fernando Orejas, Elvira Pino, Marisa Navarro
      Pages 273-293Open Access
    15. Statistical Model Checking for Variability-Intensive Systems

      • Maxime Cordy, Mike Papadakis, Axel Legay
      Pages 294-314Open Access
    16. Towards Multiple Model Synchronization with Comprehensive Systems

      • Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
      Pages 335-356Open Access

Other Volumes

  1. 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

About this book

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

  • University of Paderborn, Paderborn, Germany

    Heike Wehrheim

  • ICREA, Open University of Catalonia, Barcelona, Spain

    Jordi Cabot

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)