8 citations · 14 across the 6 of their papers we have counts for
8 papers
Can Formal Specifications Be Synthesized from Tests Alone?
Tianhai Liu, Maximilian Müller, Tobias Hey +4
Formal specifications offer strong guarantees, but remain costly to write manually. Recent LLM-based approaches automate this by inferring specifications from source code, yet thei…
The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Architecture Traceability
Jan Keim, Dominik Fuchß, Sophie Corallo +3
Context and Problem. Software development produces interrelated artifacts like software architecture documentation (SAD), software architecture models (SAMs), and source code, whos…
The EVerest Dataset for Secure Software Engineering
Sophie Corallo, Debora Grupp, Dominik Fuchß +4
End-to-end security verification, from requirements through architecture to code, requires datasets that span all three artifact types with fine-grained security labels. No existin…
How Requirements Quality Makes (or Breaks) Traceability Link Recovery
Tobias Hey, Julian Frattini
Traceability information between requirements and source code greatly benefits the maintenance of a software system. Since manually establishing trace links is cumbersome and error…
Who's Who? LLM-assisted Software Traceability with Architecture Entity Recognition
Dominik Fuchß, Haoyu Liu, Sophie Corallo +4
Identifying architecturally relevant entities in textual artifacts is crucial for Traceability Link Recovery (TLR) between Software Architecture Documentation (SAD) and source code…
A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI
Domenico Amalfitano, Andreas Metzger, Marco Autili +8
Generative AI (GenAI) is rapidly transforming software engineering (SE) practices, influencing how SE processes are executed, as well as how software systems are developed, operate…
A Roadmap for Tamed Interactions with Large Language Models
Vincenzo Scotti, Jan Keim, Tobias Hey +3
Large Language Models (LLMs) are increasingly embedded in software systems ( GenAIware), enabling new forms of automation and interaction However, their probabilistic nature and re…
Software Architecture Meets LLMs: A Systematic Literature Review
Larissa Schmid, Tobias Hey, Martin Armbruster +5
Large Language Models (LLMs) are used for many different software engineering tasks. In software architecture, they have been applied to tasks such as classification of design deci…