2 papers
cs.SE2025
Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System
Martin Weiss, Jesko Hecking-Harbusch, Jochen Quante +1
The advent of strong generative AI has a considerable impact on various software engineering tasks such as code repair, test generation, or language translation. While tools like G…
cs.SE2023
Formal Runtime Error Detection During Development in the Automotive Industry
Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund
Modern automotive software is highly complex and consists of millions lines of code. For safety-relevant automotive software, it is recommended to use sound static program analysis…