default search action
Search dblp for Publications
export results for "toc:db/conf/fase/fase2024.bht:"
@inproceedings{DBLP:conf/fase/AlBataineh24, author = {Omar I. Al{-}Bataineh}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Invariant-based Program Repair}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {255--265}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_12}, doi = {10.1007/978-3-031-57259-3\_12}, timestamp = {Sat, 08 Jun 2024 13:13:51 +0200}, biburl = {https://dblp.org/rec/conf/fase/AlBataineh24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BarthDHJ24, author = {Max Barth and Daniel Dietsch and Matthias Heizmann and Marie{-}Christine Jakobs}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution)}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {326--330}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_20}, doi = {10.1007/978-3-031-57259-3\_20}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/BarthDHJ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BernierZKL24, author = {T{\'{e}}o Bernier and Yani Ziani and Nikolai Kosmatov and Fr{\'{e}}d{\'{e}}ric Loulergue}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Combining Deductive Verification with Shape Analysis}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {280--289}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_14}, doi = {10.1007/978-3-031-57259-3\_14}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/BernierZKL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/Blazy24, author = {Sandrine Blazy}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {1--21}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_1}, doi = {10.1007/978-3-031-57259-3\_1}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/Blazy24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BoockmannL24, author = {Jan H. Boockmann and Gerald L{\"{u}}ttgen}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Comprehending Object State via Dynamic Class Invariant Learning}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {143--164}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_7}, doi = {10.1007/978-3-031-57259-3\_7}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/BoockmannL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BrancasTVMM24, author = {Ricardo Brancas and Miguel Terra{-}Neves and Miguel Ventura and Vasco Manquinho and Ruben Martins}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Towards Reliable {SQL} Synthesis: Fuzzing-Based Evaluation and Disambiguation}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {232--254}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_11}, doi = {10.1007/978-3-031-57259-3\_11}, timestamp = {Tue, 17 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/BrancasTVMM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/CaprettoCS24, author = {Margarita Capretto and Mart{\'{\i}}n Ceresa and C{\'{e}}sar S{\'{a}}nchez}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Monitoring the Future of Smart Contracts}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {122--142}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_6}, doi = {10.1007/978-3-031-57259-3\_6}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/CaprettoCS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/ChenPWFLM24, author = {Liushan Chen and Yu Pei and Mingyang Wan and Zhihui Fei and Tao Liang and Guojun Ma}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {165--187}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_8}, doi = {10.1007/978-3-031-57259-3\_8}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/ChenPWFLM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/DangLS24, author = {Thi Kim Nhung Dang and Milan Lopuha{\"{a}}{-}Zwakenberg and Mari{\"{e}}lle Stoelinga}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Fuzzy quantitative attack tree analysis}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {210--231}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_10}, doi = {10.1007/978-3-031-57259-3\_10}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/DangLS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/DuttaMJGY24, author = {Arpita Dutta and Rasool Maghareh and Joxan Jaffar and Sangharatna Godboley and Xiao Liang Yu}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {320--325}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_19}, doi = {10.1007/978-3-031-57259-3\_19}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/DuttaMJGY24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/FalconeSZ24, author = {Yli{\`{e}}s Falcone and Gwen Sala{\"{u}}n and Ahang Zuo}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Probabilistic Runtime Enforcement of Executable {BPMN} Processes}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {56--76}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_3}, doi = {10.1007/978-3-031-57259-3\_3}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/FalconeSZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/JanssenRW24, author = {Christian Jan{\ss}en and Cedric Richter and Heike Wehrheim}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Can ChatGPT support software verification?}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {266--279}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_13}, doi = {10.1007/978-3-031-57259-3\_13}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/JanssenRW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/JonasSTU24, author = {Martin Jon{\'{a}}s and Jan Strejcek and Marek Trt{\'{\i}}k and Luk{\'{a}}s Urban}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Fizzer: New Gray-Box Fuzzer - (Competition Contribution)}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {309--313}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_17}, doi = {10.1007/978-3-031-57259-3\_17}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/JonasSTU24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/LiCGZWS24, author = {Ximeng Li and Shanyan Chen and Yong Guan and Qianying Zhang and Guohui Wang and Zhiping Shi}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Refinement Verification of {OS} Services based on a Verified Preemptive Microkernel}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {188--209}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_9}, doi = {10.1007/978-3-031-57259-3\_9}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/LiCGZWS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/MisonizhnikMKKBMI24, author = {Aleksandr Misonizhnik and Sergey Morozov and Yurii Kostyukov and Vladislav Kalugin and Aleksei Babushkin and Dmitry Mordvinov and Dmitry Ivanov}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {{KLEEF:} Symbolic Execution Engine (Competition Contribution)}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {314--319}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_18}, doi = {10.1007/978-3-031-57259-3\_18}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/MisonizhnikMKKBMI24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/OorschotHS24, author = {Dr{\'{e}} van Oorschot and Marieke Huisman and {\"{O}}mer Sakar}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {First Steps towards Deductive Verification of {LLVM} {IR}}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {290--303}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_15}, doi = {10.1007/978-3-031-57259-3\_15}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/OorschotHS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/SakizloglouGL24, author = {Lucas Sakizloglou and Holger Giese and Leen Lambers}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {22--55}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_2}, doi = {10.1007/978-3-031-57259-3\_2}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/SakizloglouGL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/XuSG24, author = {He Xu and Sven Schneider and Holger Giese}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {77--100}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_4}, doi = {10.1007/978-3-031-57259-3\_4}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/XuSG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/YuCBM24, author = {Geunyeol Yu and Seunghyun Chae and Kyungmin Bae and Sungkun Moon}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {Formal Specification of Trusted Execution Environment APIs}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {101--121}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_5}, doi = {10.1007/978-3-031-57259-3\_5}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/YuCBM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/ZhangSMLCW24, author = {Guofeng Zhang and Ziqi Shuai and Kelin Ma and Kunlin Liu and Zhenbang Chen and Ji Wang}, editor = {Dirk Beyer and Ana Cavalcanti}, title = {{FDSE:} Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, pages = {304--308}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3\_16}, doi = {10.1007/978-3-031-57259-3\_16}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/ZhangSMLCW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fase/2024, editor = {Dirk Beyer and Ana Cavalcanti}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {14573}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57259-3}, doi = {10.1007/978-3-031-57259-3}, isbn = {978-3-031-57258-6}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/2024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.