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

Fundamental Approaches to Software Engineering

25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

  • This book is open access, which means that you have free and unlimited access

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

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

Conference proceedings info: FASE 2022.

Buy it now

Buying options

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

Other ways to access

Table of contents (20 papers)

  1. Front Matter

    Pages i-xiv
  2. FASE Contributions

    1. Front Matter

      Pages 1-1
    2. Information-flow Interfaces

      • Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
      Pages 3-22Open Access
    3. A Survey-driven Feature Model for Software Traceability Approaches

      • Edouard Romari Batot, Sebastien Gérard, Jordi Cabot
      Pages 23-48Open Access
    4. Construction of Verifier Combinations Based on Off-the-Shelf Verifiers

      • Dirk Beyer, Sudeep Kanav, Cedric Richter
      Pages 49-70Open Access
    5. On the Detection of Doped Software by Falsification

      • Sebastian Biewer, Holger Hermanns
      Pages 71-91Open Access
    6. Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing

      • Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang
      Pages 92-101Open Access
    7. Quantitative Program Sketching using Lifted Static Analysis

      • Aleksandar S. Dimovski
      Pages 102-122Open Access
    8. Finding Semantic Bugs Fast

      • Lukas Grätz, Reiner Hähnle, Richard Bubel
      Pages 145-154Open Access
    9. SMC4PEP: Stochastic Model Checking of Product Engineering Processes

      • Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
      Pages 155-162Open Access
    10. Symbolic Predictive Cache Analysis for Out-of-Order Execution

      • Zunchen Huang, Chao Wang
      Pages 163-183Open Access
    11. PEQtest: Testing Functional Equivalence

      • Marie-Christine Jakobs, Maik Wiesner
      Pages 184-204Open Access
    12. An Institutional Approach to Communicating UML State Machines

      • Tobias Rosenberger, Alexander Knapp, Markus Roggenbach
      Pages 205-224Open Access
    13. Semantic Code Search in Software Repositories using Neural Machine Translation

      • Evangelos Papathomas, Themistoklis Diamantopoulos, Andreas Symeonidis
      Pages 225-244Open Access
    14. AequeVox: Automated Fairness Testing of Speech Recognition Systems

      • Sai Sathiesh Rajan, Sakshi Udeshi, Sudipta Chattopadhyay
      Pages 245-267Open Access
    15. SMT-Based Planning Synthesis for Distributed System Reconfigurations

      • Simon Robillard, Hélène Coullon
      Pages 268-287Open Access
    16. Semantic Clone Detection via Probabilistic Software Modeling

      • Hannes Thaller, Lukas Linsbauer, Alexander Egyed
      Pages 288-309Open Access
  3. Test-Comp Contributions

    1. Front Matter

      Pages 319-319

Other Volumes

  1. Fundamental Approaches to Software Engineering

About this book

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.

Editors and Affiliations

  • University of Oslo, Oslo, Norway

    Einar Broch Johnsen

  • Johannes Kepler University of Linz, Linz, Austria

    Manuel Wimmer

Bibliographic Information

Buy it now

Buying options

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

Other ways to access