FASE 2022 Accepted Papers

Evangelos Papathomas, Themistoklis Diamantopoulos and Andreas Symeonidis. Semantic Code Search in Software Repos using Neural Machine Translation

Dirk Beyer, Sudeep Kanav and Cedric Richter. Construction of Verifier Combinations Based on Off-the-Shelf Verifiers

Alexander Knapp, Markus Roggenbach and Tobias Rosenberger. An Institutional Approach to Communicating UML State Machines

Sai Sathiesh Rajan, Sakshi Udeshi and Sudipta Chattopadhyay. AequeVox: Automated Fairness Testing of Speech Recognition Systems

Simon Robillard and Helene Coullon. SMT-Based Planning Synthesis for Distributed System Reconfigurations

Saikat Dutta, Zixin Huang and Sasa Misailovic. Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning

Aleksandar S. Dimovski. Quantitative Program Sketching using Lifted Static Analysis

Lukas Grätz, Reiner Hähnle and Richard Bubel. Finding Semantic Bugs Fast (NIER paper)

Hao Wu. QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants (Tool demo paper)

Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic and Ana Oliveira Da Costa. Information-flow Interfaces

Zunchen Huang and Chao Wang. Symbolic Predictive Cache Analysis for Out-of-Order Execution

Marie-Christine Jakobs and Maik Wiesner. PEQtest: Testing Functional Equivalence

Sebastian Biewer and Holger Hermanns. On the Detection of Doped Software by Falsification

Hassan Hage, M Seferis, Vahid Hashemi and Frank Mantwill. SMC4PEP: Stochastic Model Checking of Product Engineering Processes (Tool demo paper)

Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei and Ji Wang. Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing (NIER paper)

Hannes Thaller, Lukas Linsbauer and Alexander Egyed. Semantic Clone Detection via Probabilistic Software Modeling

Edouard Batot, Sebastien Gerard and Jordi Cabot. A Survey-Based Feature Model for Software Traceability