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. Test-Comp Contributions

    1. CoVeriTest with Adaptive Time Scheduling (Competition Contribution)

      • Marie-Christine Jakobs, Cedric Richter
      Pages 358-362Open Access
    2. FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)

      • Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
      Pages 363-367Open Access
    3. Symbiotic  8: Parallel and Targeted Test Generation

      • Marek Chalupa, Jakub Novák, Jan Strejček
      Pages 368-372Open Access
  2. Back Matter

    Pages 373-373

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)