default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th FASE@ETAPS 2024: Luxembourg City, Luxembourg
- Dirk Beyer
, Ana Cavalcanti:
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Lecture Notes in Computer Science 14573, Springer 2024, ISBN 978-3-031-57258-6 - Sandrine Blazy:
From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert. 1-21 - Lucas Sakizloglou, Holger Giese, Leen Lambers:
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. 22-55 - Yliès Falcone, Gwen Salaün, Ahang Zuo:
Probabilistic Runtime Enforcement of Executable BPMN Processes. 56-76 - He Xu, Sven Schneider, Holger Giese:
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. 77-100 - Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon:
Formal Specification of Trusted Execution Environment APIs. 101-121 - Margarita Capretto, Martín Ceresa, César Sánchez:
Monitoring the Future of Smart Contracts. 122-142 - Jan H. Boockmann, Gerald Lüttgen:
Comprehending Object State via Dynamic Class Invariant Learning. 143-164 - Liushan Chen, Yu Pei, Mingyang Wan, Zhihui Fei, Tao Liang, Guojun Ma:
Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data. 165-187 - Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi:
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. 188-209 - Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Fuzzy quantitative attack tree analysis. 210-231 - Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins:
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. 232-254 - Omar I. Al-Bataineh:
Invariant-based Program Repair. 255-265 - Christian Janßen, Cedric Richter, Heike Wehrheim:
Can ChatGPT support software verification? 266-279 - Téo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue:
Combining Deductive Verification with Shape Analysis. 280-289 - Dré van Oorschot, Marieke Huisman, Ömer Sakar:
First Steps towards Deductive Verification of LLVM IR. 290-303 - Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang:
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). 304-308 - Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban:
Fizzer: New Gray-Box Fuzzer - (Competition Contribution). 309-313 - Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov:
KLEEF: Symbolic Execution Engine (Competition Contribution). 314-319 - Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu:
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). 320-325 - Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs:
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). 326-330
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-12-13 20:19 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:
