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

Editors:

(view affiliations)
  • 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.

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. 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. SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning

      • Saikat Dutta, Zixin Huang, Sasa Misailovic
      Pages 123-144Open Access
    9. Finding Semantic Bugs Fast

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

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

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

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

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

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

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

      • Simon Robillard, Hélène Coullon
      Pages 268-287Open Access
    17. 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

    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

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.

Keywords

  • architecture verification and validation
  • distributed computer systems
  • embedded systems
  • empirical software validation
  • formal methods
  • model checking
  • model-driven software engineering
  • object-oriented programming
  • program analysis,
  • software performance
  • software quality
  • software testing and debugging

Editors and Affiliations

  • University of Oslo, Oslo, Norway

    Einar Broch Johnsen

  • Johannes Kepler University of Linz, Linz, Austria

    Manuel Wimmer

Bibliographic Information

Buying options

Softcover Book
USD 49.99
Price excludes VAT (USA)