7.1k citations
- European Space Operations CentreDE11 papers
- European Space Astronomy CentreES9 papers
- Technical University of MunichDE9 papers
- Universität UlmDE8 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Karlsruhe Institute of TechnologyDE7 papers
- University of StuttgartDE7 papers
- European Space Research and Technology CentreNL6 papers
- Technische Universität DresdenDE6 papers
- European Southern ObservatoryCL5 papers
- Osservatorio Astrofisico di TorinoIT5 papers
- University of BremenDE5 papers
4 papers · 1 filter
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…
Revisiting Neural Program Smoothing for Fuzzing
Maria-Irina Nicolae, Max Eisele, Andreas Zeller
Testing with randomly generated inputs (fuzzing) has gained significant traction due to its capacity to expose program vulnerabilities automatically. Fuzz testing campaigns generat…
A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to en…
Reverse Engineering Variability in an Industrial Product Line: Observations and Lessons Learned
Sascha El-Sharkawy, Dhar Saura Jyoti, Adam Krafczyk +3
Ideally, a variability model is a correct and complete representation of product line features and constraints among them. Together with a mapping between features and code, this e…