4 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…