Image de couverture de livre

Temporal HAL-API Dependencies as a Gateway to Formal Embedded Software Development

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bentele, Manuel, Podelski, Andreas, Sikora, Axel, Westphal, Bernd
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Relevant HAL Interface Requirements for Embedded Systems
par: Bentele, Manuel, et autres
Publié: (2025)

Checking the HAL Interface Specification Continuously, Right from the Start
par: Bentele, Manuel, et autres
Publié: (2025)

Developer Perspectives on REST API Usability: A Study of REST API Guidelines
par: Peldszus, Sven, et autres
Publié: (2026)

Software Engineering as a Domain to Formalize
par: Meyer, Bertrand
Publié: (2025)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
par: Murphy, Logan, et autres
Publié: (2025)

KAT: Dependency-aware Automated API Testing with Large Language Models
par: Le, Tri, et autres
Publié: (2024)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
par: Herbold, Steffen, et autres
Publié: (2025)

Outsourcing in Global Software Development: Effects of Temporal Location and Methodologies
par: Looi, Mark, et autres
Publié: (2026)

Towards Mitigating API Hallucination in Code Generated by LLMs with Hierarchical Dependency Aware
par: Chen, Yujia, et autres
Publié: (2025)

Embedded DevOps: A Survey on the Application of DevOps Practices in Embedded Software and Firmware Development
par: Katapara, Parthiv, et autres
Publié: (2025)

Beyond Dependencies: The Role of Copy-Based Reuse in Open Source Software Development
par: Jahanshahi, Mahmoud, et autres
Publié: (2024)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
par: Barbie, Alexander, et autres
Publié: (2023)

Behavioral Consistency and Transparency Analysis on Large Language Model API Gateways
par: Lin, Guanjie, et autres
Publié: (2026)

Prompt-Based REST API Test Amplification in Industry: An Experience Report
par: Bardakci, Tolgahan, et autres
Publié: (2026)

PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
par: Fu, Han, et autres
Publié: (2026)

Locking Down Science Gateways with Landlock and Seccomp
par: Brandt, Steven R, et autres
Publié: (2025)

Formal Analysis of Metastable Failures in Software Systems
par: Alvaro, Peter, et autres
Publié: (2025)

OpenAI for OpenAPI: Automated generation of REST API specification via LLMs
par: Chen, Hao, et autres
Publié: (2026)

ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
par: Nielebock, Sebastian, et autres
Publié: (2024)

APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs
par: Pereira, André, et autres
Publié: (2026)

From Requirements to Code: Understanding Developer Practices in LLM-Assisted Software Engineering
par: Ullrich, Jonathan, et autres
Publié: (2025)

From Specification to Service: Accelerating API-First Development Using Multi-Agent Systems
par: Chauhan, Saurabh, et autres
Publié: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
par: Wang, Weiqi, et autres
Publié: (2025)

BGPFuzz: Automated Configuration Fuzzing of the Border Gateway Protocol
par: Zhang, Chenlu, et autres
Publié: (2025)

RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bodies for RESTful API Testing
par: Huynh, Hieu, et autres
Publié: (2025)

What's in a Package? Getting Visibility Into Dependencies Using Security-Sensitive API Calls
par: Rahman, Imranur, et autres
Publié: (2024)

Overwhelmed Software Developers
par: Michels, Lisa-Marie, et autres
Publié: (2024)

Dependency Update Adoption Patterns in the Maven Software Ecosystem
par: Berretta, Baltasar, et autres
Publié: (2025)

Utilizing API Response for Test Refinement
par: Sondhi, Devika, et autres
Publié: (2025)

APIGen: Generative API Method Recommendation
par: Chen, Yujia, et autres
Publié: (2024)

Polymer: Development Workflows as Software
par: Parthasarathy, Dhasarathy, et autres
Publié: (2025)

LAMMPS: A Case Study For Applying Modern Software Engineering to an Established Research Software Package
par: Kohlmeyer, Axel, et autres
Publié: (2025)

Measuring Software Development Waste in Open-Source Software Projects
par: Varanasi, Dhiraj SM, et autres
Publié: (2024)

Measuring Software Innovation with Open Source Software Development Data
par: Brown, Eva Maxfield, et autres
Publié: (2024)

Enhancing Formal Software Specification with Artificial Intelligence
par: Nassar, Antonio Abu, et autres
Publié: (2026)

Software Process as a Service: Towards A Software Process Ecosystem
par: Greulich, Oliver, et autres
Publié: (2025)

A Reference Architecture for Embedding Quantum Software Into Enterprise Systems
par: Uphues, Marc, et autres
Publié: (2025)

Agentic Pipelines in Embedded Software Engineering: Emerging Practices and Challenges
par: Sun, Simin, et autres
Publié: (2026)

Identifying Critical Dependencies in Large-Scale Continuous Software Engineering
par: Tkalich, Anastasiia, et autres
Publié: (2025)

When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
par: Chen, Jingyi, et autres
Publié: (2025)