default search action
25th FASE@ETAPS 2022: Munich, Germany
- Einar Broch Johnsen
, Manuel Wimmer
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. Lecture Notes in Computer Science 13241, Springer 2022, ISBN 978-3-030-99428-0
FASE Contributions
- Ezio Bartocci
Information-flow Interfaces. 3-22 - Edouard R. Batot, Sébastien Gérard
A Survey-driven Feature Model for Software Traceability Approaches. 23-48 - Dirk Beyer
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. 49-70 - Sebastian Biewer
On the Detection of Doped Software by Falsification. 71-91 - Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang:
Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. 92-101 - Aleksandar S. Dimovski
Quantitative Program Sketching using Lifted Static Analysis. 102-122 - Saikat Dutta, Zixin Huang, Sasa Misailovic:
SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning. 123-144 - Lukas Grätz
Finding Semantic Bugs Fast. 145-154 - Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill:
SMC4PEP: Stochastic Model Checking of Product Engineering Processes. 155-162 - Zunchen Huang, Chao Wang:
Symbolic Predictive Cache Analysis for Out-of-Order Execution. 163-183 - Marie-Christine Jakobs
PEQtest: Testing Functional Equivalence. 184-204 - Tobias Rosenberger, Alexander Knapp
An Institutional Approach to Communicating UML State Machines. 205-224 - Evangelos Papathomas
Semantic Code Search in Software Repositories using Neural Machine Translation. 225-244 - Sai Sathiesh Rajan
AequeVox: Automated Fairness Testing of Speech Recognition Systems. 245-267 - Simon Robillard
SMT-Based Planning Synthesis for Distributed System Reconfigurations. 268-287 - Hannes Thaller
Semantic Clone Detection via Probabilistic Software Modeling. 288-309 - Hao Wu
QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants. 310-317
Test-Comp Contributions
- Dirk Beyer
Advances in Automatic Software Testing: Test-Comp 2022. 321-335 - Kaled M. Alshmrany
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). 336-340 - Ravindra Metta
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). 341-346
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: