Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th 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, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-flow Interfaces. 3-22 - Edouard R. Batot, Sébastien Gérard, Jordi Cabot:
A Survey-driven Feature Model for Software Traceability Approaches. 23-48 - Dirk Beyer, Sudeep Kanav, Cedric Richter:
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. 49-70 - Sebastian Biewer, Holger Hermanns:
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, Reiner Hähnle, Richard Bubel:
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, Maik Wiesner:
PEQtest: Testing Functional Equivalence. 184-204 - Tobias Rosenberger, Alexander Knapp, Markus Roggenbach:
An Institutional Approach to Communicating UML State Machines. 205-224 - Evangelos Papathomas, Themistoklis Diamantopoulos, Andreas L. Symeonidis:
Semantic Code Search in Software Repositories using Neural Machine Translation. 225-244 - Sai Sathiesh Rajan, Sakshi Udeshi, Sudipta Chattopadhyay:
AequeVox: Automated Fairness Testing of Speech Recognition Systems. 245-267 - Simon Robillard, Hélène Coullon:
SMT-Based Planning Synthesis for Distributed System Reconfigurations. 268-287 - Hannes Thaller, Lukas Linsbauer, Alexander Egyed:
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, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro:
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). 336-340 - Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar:
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). 341-346
a service of 
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 2024-05-31 18:55 CEST 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:
