:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Raedler, Simon, Berardinelli, Luca, Winter, Karolin, Rahimi, Abbas, Rinderle-Ma, Stefanie
Format:	Preprint
Published:	2023
Subjects:	Software Engineering Artificial Intelligence A.1; H.1.0; I.2.4
Online Access:	https://arxiv.org/abs/2307.04599
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)

Morescient GAI for Software Engineering (Extended Version)
by: Kessel, Marcus, et al.
Published: (2024)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
by: Kessel, Marcus
Published: (2025)

N-Version Assessment and Enhancement of Generative AI
by: Kessel, Marcus, et al.
Published: (2024)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
by: Lebioda, Krzysztof, et al.
Published: (2024)

Nidus: Externalized Reasoning for AI-Assisted Engineering
by: Gorinevski, Danil
Published: (2026)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
by: Kessel, Marcus
Published: (2024)

ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
by: Ma, Tong, et al.
Published: (2025)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
by: Zietsman, Christo
Published: (2026)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
by: Zietsman, Christo
Published: (2026)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
by: Petrovic, Nenad, et al.
Published: (2024)

Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering
by: Ginac, Frank
Published: (2026)

Toward Causal-Visual Programming: Enhancing Agentic Reasoning in Low-Code Environments
by: Xu, Jiexi, et al.
Published: (2025)

Modeling Fairness in Recruitment AI via Information Flow
by: Brännström, Mattias, et al.
Published: (2025)

Aurora: Neuro-Symbolic AI Driven Advising Agent
by: Lugones, Lorena Amanda Quincoso, et al.
Published: (2026)

Ontology-Constrained Neural Reasoning in Enterprise Agentic Systems: A Neurosymbolic Architecture for Domain-Grounded AI Agents
by: Tuan, Thanh Luong, et al.
Published: (2026)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
by: Rehan, Tzafrir
Published: (2026)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2025)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains
by: Untila, Octavian
Published: (2026)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
by: Thompson, Kyle, et al.
Published: (2024)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
by: Jana, Prithwish, et al.
Published: (2026)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
by: Wienczkowski, Michael
Published: (2026)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
by: Zadenoori, Mohammad Amin, et al.
Published: (2025)

Reconsidering Requirements Engineering: Human-AI Collaboration in AI-Native Software Development
by: Abbasi, Mateen Ahmed, et al.
Published: (2025)

Converting BPMN Diagrams to Privacy Calculus
by: Pitsiladis, Georgios V., et al.
Published: (2024)

AI for software engineering: from probable to provable
by: Meyer, Bertrand
Published: (2025)

Can LLMs Assess Personality? Validating Conversational AI for Trait Profiling
by: Matšenas, Andrius, et al.
Published: (2026)

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
by: Parris, William M.
Published: (2026)

Domain Specific Data Distillation and Multi-modal Embedding Generation
by: Peddiraju, Sharadind, et al.
Published: (2024)

From Internet of Things Data to Business Processes: Challenges and a Framework
by: Mangler, Juergen, et al.
Published: (2024)

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
by: Peng, Yi, et al.
Published: (2025)

AI-Assisted Engineering Should Track the Epistemic Status and Temporal Validity of Architectural Decisions
by: Gilda, Sankalp, et al.
Published: (2026)

MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
by: Su, Jie, et al.
Published: (2025)

Policy Cards: Machine-Readable Runtime Governance for Autonomous AI Agents
by: Mavračić, Juraj
Published: (2025)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
by: Beyer, Dirk, et al.
Published: (2022)

An advanced AI driven database system
by: Tedeschi, M., et al.
Published: (2025)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
by: Calinescu, Radu, et al.
Published: (2026)