Skip to main content
SpringerLink
Account
Book cover

Fundamental Approaches to Software Engineering

24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

  • Conference proceedings
  • Open Access
  • © 2021

You have full access to this open access Conference proceedings

Download book PDF

Overview

Editors:
  1. Esther Guerra

    1. Universidad Autónoma de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mariëlle Stoelinga

    1. University of Twente, Enschede, The Netherlands

    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 12649)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FASE 2021.

Buy print copy

Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (20 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. FASE Contributions

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On Benchmarking for Concurrent Runtime Verification

      • Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
      Pages 3-23Open Access
      Download chapter PDF

    3. Certified Abstract Cost Analysis

      • Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
      Pages 24-45Open Access
      Download chapter PDF

    4. Bootstrapping Automated Testing for RESTful Web Services

      • Yixiong Chen, Yang Yang, Zhanyao Lei, Mingyuan Xia, Zhengwei Qi
      Pages 46-66Open Access
      Download chapter PDF

    5. A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features

      • Aleksandar S. Dimovski, Sven Apel, Axel Legay
      Pages 67-86Open Access
      Download chapter PDF

    6. Finding a Universal Execution Strategy for Model Transformation Networks

      • Joshua Gleitze, Heiko Klare, Erik Burger
      Pages 87-107Open Access
      Download chapter PDF

    7. CoVEGI: Cooperative Verification via Externally Generated Invariants

      • Jan Haltermann, Heike Wehrheim
      Pages 108-129Open Access
      Download chapter PDF

    8. Engineering Secure Self-Adaptive Systems with Bayesian Games

      • Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan
      Pages 130-151Open Access
      Download chapter PDF

    9. An Abstract Contract Theory for Programs with Procedures

      • Christian Lidström, Dilian Gurov
      Pages 152-171Open Access
      Download chapter PDF

    10. Paracosm: A Test Framework for Autonomous Driving Simulations

      • Rupak Majumdar, Aman Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey
      Pages 172-195Open Access
      Download chapter PDF

    11. Compositional Analysis of Probabilistic Timed Graph Transformation Systems

      • Maria Maximova, Sven Schneider, Holger Giese
      Pages 196-217Open Access
      Download chapter PDF

    12. Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds

      • Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias
      Pages 218-239Open Access
      Download chapter PDF

    13. Effects of Program Representation on Pointer Analyses — An Empirical Study

      • Jyoti Prakash, Abhishek Tiwari, Christian Hammer
      Pages 240-261Open Access
      Download chapter PDF

    14. Keeping Pace with the History of Evolving Runtime Models

      • Lucas Sakizloglou, Matthias Barkowsky, Holger Giese
      Pages 262-268Open Access
      Download chapter PDF

    15. SpecTest: Specification-Based Compiler Testing

      • Richard Schumi, Jun Sun
      Pages 269-291Open Access
      Download chapter PDF

    16. PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems

      • Yong-Jun Shin, Eunho Cho, Doo-Hwan Bae
      Pages 292-312Open Access
      Download chapter PDF

    17. Understanding Local Robustness of Deep Neural Networks under Natural Variations

      • Ziyuan Zhong, Yuchi Tian, Baishakhi Ray
      Pages 313-337Open Access
      Download chapter PDF

  3. Test-Comp Contributions

    1. Front Matter

      Pages 339-339
      Download chapter PDF

    2. Status Report on Software Testing: Test-Comp 2021

      • Dirk Beyer
      Pages 341-357Open Access
      Download chapter PDF
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

About this book

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. 

The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. 

Editors and Affiliations

  • Universidad Autónoma de Madrid, Madrid, Spain

    Esther Guerra

  • University of Twente, Enschede, The Netherlands

    Mariëlle Stoelinga

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation