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

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

Editors:

(view affiliations)

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)

Conference series link(s): FASE: International Conference on Fundamental Approaches to Software Engineering

Conference proceedings info: FASE 2021.

Buying options

Softcover Book
USD 49.99
Price excludes VAT (USA)

Table of contents (20 papers)

  1. Front Matter

    Pages i-xiv
  2. FASE Contributions

    1. Front Matter

      Pages 1-1
    2. On Benchmarking for Concurrent Runtime Verification

      • Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
      Pages 3-23Open Access
    3. Certified Abstract Cost Analysis

      • Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
      Pages 24-45Open Access
    4. Bootstrapping Automated Testing for RESTful Web Services

      • Yixiong Chen, Yang Yang, Zhanyao Lei, Mingyuan Xia, Zhengwei Qi
      Pages 46-66Open Access
    5. A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features

      • Aleksandar S. Dimovski, Sven Apel, Axel Legay
      Pages 67-86Open Access
    6. Finding a Universal Execution Strategy for Model Transformation Networks

      • Joshua Gleitze, Heiko Klare, Erik Burger
      Pages 87-107Open Access
    7. CoVEGI: Cooperative Verification via Externally Generated Invariants

      • Jan Haltermann, Heike Wehrheim
      Pages 108-129Open Access
    8. Engineering Secure Self-Adaptive Systems with Bayesian Games

      • Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan
      Pages 130-151Open Access
    9. An Abstract Contract Theory for Programs with Procedures

      • Christian Lidström, Dilian Gurov
      Pages 152-171Open Access
    10. Paracosm: A Test Framework for Autonomous Driving Simulations

      • Rupak Majumdar, Aman Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey
      Pages 172-195Open Access
    11. Compositional Analysis of Probabilistic Timed Graph Transformation Systems

      • Maria Maximova, Sven Schneider, Holger Giese
      Pages 196-217Open Access
    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
    13. Effects of Program Representation on Pointer Analyses — An Empirical Study

      • Jyoti Prakash, Abhishek Tiwari, Christian Hammer
      Pages 240-261Open Access
    14. Keeping Pace with the History of Evolving Runtime Models

      • Lucas Sakizloglou, Matthias Barkowsky, Holger Giese
      Pages 262-268Open Access
    15. SpecTest: Specification-Based Compiler Testing

      • Richard Schumi, Jun Sun
      Pages 269-291Open Access
    16. Understanding Local Robustness of Deep Neural Networks under Natural Variations

      • Ziyuan Zhong, Yuchi Tian, Baishakhi Ray
      Pages 313-337Open Access
  3. Test-Comp Contributions

    1. Front Matter

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

      • Dirk Beyer
      Pages 341-357Open Access

Other Volumes

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

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. 

Keywords

  • architecture verification and validation
  • artificial intelligence
  • embedded systems
  • empirical software validation
  • formal logic
  • formal methods
  • model checking
  • model-driven software engineering
  • object-oriented programming
  • parallel processing systems
  • program analysis
  • program compilers
  • signal processing
  • software architecture
  • software engineering
  • software performance
  • software selection and adaptation
  • software testing and debugging
  • telecommunication systems
  • verification

Editors and Affiliations

  • Universidad Autónoma de Madrid, Madrid, Spain

    Esther Guerra

  • University of Twente, Enschede, The Netherlands

    Mariëlle Stoelinga

Bibliographic Information

Buying options

Softcover Book
USD 49.99
Price excludes VAT (USA)