FASE

Keyphrases

Publications

2024

Lucas Sakizloglou, Holger Giese, Leen Lambers
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE (2024)
He Xu, Sven Schneider, Holger Giese
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. FASE (2024)
Omar I. Al-Bataineh
Invariant-based Program Repair. FASE (2024)
Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). FASE (2024)
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Fuzzy quantitative attack tree analysis. FASE (2024)
Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov
KLEEF: Symbolic Execution Engine (Competition Contribution). FASE (2024)
Christian Janßen, Cedric Richter, Heike Wehrheim
Can ChatGPT support software verification? FASE (2024)
Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). FASE (2024)
Jan H. Boockmann, Gerald Lüttgen
Comprehending Object State via Dynamic Class Invariant Learning. FASE (2024)
Dré van Oorschot, Marieke Huisman, Ömer Sakar
First Steps towards Deductive Verification of LLVM IR. FASE (2024)
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, Ruben Martins
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. FASE (2024)
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. FASE (2024)
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
Fizzer: New Gray-Box Fuzzer - (Competition Contribution). FASE (2024)
Téo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue
Combining Deductive Verification with Shape Analysis. FASE (2024)
Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. FASE (2024)
Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon
Formal Specification of Trusted Execution Environment APIs. FASE (2024)
Margarita Capretto, Martín Ceresa, César Sánchez
Monitoring the Future of Smart Contracts. FASE (2024)
Sandrine Blazy
From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert. FASE (2024)
Yliès Falcone, Gwen Salaün, Ahang Zuo
Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE (2024)
Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). FASE (2024)

volume 14573, 2024

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 FASE 14573 (2024)

2023

volume 13991, 2023

Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings FASE 13991 (2023)

2022

volume 13241, 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 FASE 13241 (2022)