| 2022 | A Survey-driven Feature Model for Software Traceability Approaches. Edouard R. Batot, Sébastien Gérard, Jordi Cabot |
| 2022 | Advances in Automatic Software Testing: Test-Comp 2022. Dirk Beyer |
| 2022 | AequeVox: Automated Fairness Testing of Speech Recognition Systems. Sai Sathiesh Rajan, Sakshi Udeshi, Sudipta Chattopadhyay |
| 2022 | An Institutional Approach to Communicating UML State Machines. Tobias Rosenberger, Alexander Knapp, Markus Roggenbach |
| 2022 | Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. Dirk Beyer, Sudeep Kanav, Cedric Richter |
| 2022 | Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang |
| 2022 | Finding Semantic Bugs Fast. Lukas Grätz, Reiner Hähnle, Richard Bubel |
| 2022 | FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro |
| 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 Einar Broch Johnsen, Manuel Wimmer |
| 2022 | Information-flow Interfaces. Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2022 | On the Detection of Doped Software by Falsification. Sebastian Biewer, Holger Hermanns |
| 2022 | PEQtest: Testing Functional Equivalence. Marie-Christine Jakobs, Maik Wiesner |
| 2022 | QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants. Hao Wu |
| 2022 | Quantitative Program Sketching using Lifted Static Analysis. Aleksandar S. Dimovski |
| 2022 | SMC4PEP: Stochastic Model Checking of Product Engineering Processes. Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill |
| 2022 | SMT-Based Planning Synthesis for Distributed System Reconfigurations. Simon Robillard, Hélène Coullon |
| 2022 | Semantic Clone Detection via Probabilistic Software Modeling. Hannes Thaller, Lukas Linsbauer, Alexander Egyed |
| 2022 | Semantic Code Search in Software Repositories using Neural Machine Translation. Evangelos Papathomas, Themistoklis Diamantopoulos, Andreas L. Symeonidis |
| 2022 | SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning. Saikat Dutta, Zixin Huang, Sasa Misailovic |
| 2022 | Symbolic Predictive Cache Analysis for Out-of-Order Execution. Zunchen Huang, Chao Wang |
| 2022 | VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar |