:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bentele, Manuel, Podelski, Andreas, Sikora, Axel, Westphal, Bernd
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2512.12788
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Relevant HAL Interface Requirements for Embedded Systems
by: Bentele, Manuel, et al.
Published: (2025)

Checking the HAL Interface Specification Continuously, Right from the Start
by: Bentele, Manuel, et al.
Published: (2025)

Developer Perspectives on REST API Usability: A Study of REST API Guidelines
by: Peldszus, Sven, et al.
Published: (2026)

Software Engineering as a Domain to Formalize
by: Meyer, Bertrand
Published: (2025)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
by: Murphy, Logan, et al.
Published: (2025)

KAT: Dependency-aware Automated API Testing with Large Language Models
by: Le, Tri, et al.
Published: (2024)

Behavioral Consistency and Transparency Analysis on Large Language Model API Gateways
by: Lin, Guanjie, et al.
Published: (2026)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
by: Herbold, Steffen, et al.
Published: (2025)

Outsourcing in Global Software Development: Effects of Temporal Location and Methodologies
by: Looi, Mark, et al.
Published: (2026)

Towards Mitigating API Hallucination in Code Generated by LLMs with Hierarchical Dependency Aware
by: Chen, Yujia, et al.
Published: (2025)

Embedded DevOps: A Survey on the Application of DevOps Practices in Embedded Software and Firmware Development
by: Katapara, Parthiv, et al.
Published: (2025)

Beyond Dependencies: The Role of Copy-Based Reuse in Open Source Software Development
by: Jahanshahi, Mahmoud, et al.
Published: (2024)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
by: Barbie, Alexander, et al.
Published: (2023)

Prompt-Based REST API Test Amplification in Industry: An Experience Report
by: Bardakci, Tolgahan, et al.
Published: (2026)

PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
by: Fu, Han, et al.
Published: (2026)

Formal Analysis of Metastable Failures in Software Systems
by: Alvaro, Peter, et al.
Published: (2025)

Locking Down Science Gateways with Landlock and Seccomp
by: Brandt, Steven R, et al.
Published: (2025)

What's in a Package? Getting Visibility Into Dependencies Using Security-Sensitive API Calls
by: Rahman, Imranur, et al.
Published: (2024)

OpenAI for OpenAPI: Automated generation of REST API specification via LLMs
by: Chen, Hao, et al.
Published: (2026)

ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
by: Nielebock, Sebastian, et al.
Published: (2024)

APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs
by: Pereira, André, et al.
Published: (2026)

Overwhelmed Software Developers
by: Michels, Lisa-Marie, et al.
Published: (2024)

From Specification to Service: Accelerating API-First Development Using Multi-Agent Systems
by: Chauhan, Saurabh, et al.
Published: (2025)

From Requirements to Code: Understanding Developer Practices in LLM-Assisted Software Engineering
by: Ullrich, Jonathan, et al.
Published: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bodies for RESTful API Testing
by: Huynh, Hieu, et al.
Published: (2025)

BGPFuzz: Automated Configuration Fuzzing of the Border Gateway Protocol
by: Zhang, Chenlu, et al.
Published: (2025)

LAMMPS: A Case Study For Applying Modern Software Engineering to an Established Research Software Package
by: Kohlmeyer, Axel, et al.
Published: (2025)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

Utilizing API Response for Test Refinement
by: Sondhi, Devika, et al.
Published: (2025)

APIGen: Generative API Method Recommendation
by: Chen, Yujia, et al.
Published: (2024)

Dependency Update Adoption Patterns in the Maven Software Ecosystem
by: Berretta, Baltasar, et al.
Published: (2025)

EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
by: Yang, Huanqi, et al.
Published: (2024)

Polymer: Development Workflows as Software
by: Parthasarathy, Dhasarathy, et al.
Published: (2025)

Measuring Software Development Waste in Open-Source Software Projects
by: Varanasi, Dhiraj SM, et al.
Published: (2024)

Measuring Software Innovation with Open Source Software Development Data
by: Brown, Eva Maxfield, et al.
Published: (2024)

Software Process as a Service: Towards A Software Process Ecosystem
by: Greulich, Oliver, et al.
Published: (2025)

Engineering Formality and Software Risk in Debian Python Packages
by: Gaughan, Matthew, et al.
Published: (2024)

Adaptoring: Adapter Generation to Provide an Alternative API for a Library
by: Reimann, Lars, et al.
Published: (2024)

Generating REST API Tests With Descriptive Names
by: Garrett, Philip, et al.
Published: (2025)