2 citations · 4 across the 6 of their papers we have counts for
6 papers
ICSE 2023 Sustainability Report
Patricia Lago, Marcel Boehme, Markus Funke
With growing discussions about the carbon footprint of academic conferences, more questions are being raised whether the environmental impacts caused by transportation and other fa…
ICSE 2022 Sustainability Report
Patricia Lago, Marcel Boehme, Markus Funke
The carbon footprint of academic conferences becomes a topic of increasing debate. It is important to consider whether the benefits derived from attending conferences in person out…
Evaluating LLM-Based Regression Test Generation
Jing Liu, Seongmin Lee, Eleonora Losiouk +1
Large Language Models (LLMs) have shown tremendous promise in automated software engineering. In this paper, we investigate LLMs for just-in-time regression test generation for pro…
Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
Haoxin Tu, Lingxiao Jiang, Marcel Böhme
How to find memory safety bugs efficiently when navigating a symbolic execution tree that suffers from path explosion? Existing solutions either adopt path search heuristics to max…
Testing side-channel security of cryptographic implementations against future microarchitectures
Gilles Barthe, Marcel Böhme, Sunjay Cauligi +7
How will future microarchitectures impact the security of existing cryptographic implementations? As we cannot keep reducing the size of transistors, chip vendors have started deve…
Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
Dylan Wolff, Marcel Böhme, Abhik Roychoudhury
Characteristics of a benchmarking setup clearly can have some impact on the benchmark outcome. In this paper, we explore two methodologies to quantify the impact of the specific pr…