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