Paper Citation Record · LEDGER

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems

As of 7 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 1 inbound Pith citation observation for arXiv:2506.04038.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.04038 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:54:50.795855Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T15:48:48.929158Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-06T15:48:53.160799Z

Reference resolution

38 of 38 outbound references displayed

verified exact1
verified fuzzy24
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7e15dda2-743b-428d-80a2-51da38a6a896 · outbound

This paper cites Software Engineering: A Practitioner’s Approach.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Software Engineering: A Practitioner’s Approach

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.236264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a40797db-60ad-41d9-9139-bb738f9f9a87 · outbound

This paper cites A Standard Driven Software Architecture for Fully Autonomous Vehicles.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems A Standard Driven Software Architecture for Fully Autonomous Vehicles

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.680934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1522ec3d-7021-4e74-82d5-77e046de4a90 · outbound

This paper cites Language Models are Few-Shot Learners.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Language Models are Few-Shot Learners

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.684054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 869c81ce-293b-4d3f-be02-99d517850736 · outbound

This paper cites CARLA: An Open Urban Driving Simulator.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems CARLA: An Open Urban Driving Simulator

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.687534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf5ea2c6-49fc-4810-abed-5f967971aba0 · outbound

This paper cites Software Engineering.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Software Engineering

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.227762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2b2244fb-2f89-48b4-8d55-e2bf45eb5660 · outbound

This paper cites Pressman.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Pressman

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.219467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 50abfd1d-93f3-4c2d-aca7-167d6d11f1b3 · outbound

This paper cites Database System Concepts.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Database System Concepts

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.211136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e8dd9b75-3bb5-4e99-8ec3-47abca091f40 · outbound

This paper cites Software Architecture in Practice.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Software Architecture in Practice

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.202939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f6aab936-e0fc-45ea-84e5-1a99c93ac094 · outbound

This paper cites Test-Driven Development by Example.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Test-Driven Development by Example

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.194664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e9b2251b-3c70-4d07-8979-7c604363c61f · outbound

This paper cites an unresolved cited work.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:54:51.186334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 858b64f5-cb61-45df-a38b-5269dbc9aff1 · outbound

This paper cites Patterns of Enterprise Application Architec- ture.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Patterns of Enterprise Application Architec- ture

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.178083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d32ea933-1fce-41a9-a826-4b0161bab578 · outbound

This paper cites Building Secure Software: How to Avoid Security Problems the Right Way.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Building Secure Software: How to Avoid Security Problems the Right Way

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.169553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 13b52436-dd3f-4f60-ac6c-afc624ef5b65 · outbound

This paper cites The Art of Multiprocessor Programming.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems The Art of Multiprocessor Programming

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.161127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9bb95ef6-c255-470b-a7c9-0a4692f4c9ce · outbound

This paper cites A Discipline of Programming.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems A Discipline of Programming

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.152819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a4f99aa3-15a8-4e20-8a7d-7e6dd9e1b340 · outbound

This paper cites The C++ Programming Language.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems The C++ Programming Language

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.144345Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 58123b9f-6f17-457f-8794-6909d4bbbf2b · outbound

This paper cites Cppcheck: A static analysis tool for C++.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Cppcheck: A static analysis tool for C++

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.136294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation beb7883c-0235-4ffd-b13b-2119f43a7762 · outbound

This paper cites Google Test: C++ Testing Framework.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Google Test: C++ Testing Framework

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.127515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7be6c52a-781d-49a7-8854-dc5cc339ab7f · outbound

This paper cites ISO 26262: Road vehicles – Functional safety.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems ISO 26262: Road vehicles – Functional safety

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.119275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3342758a-e392-4b88-846b-8f0c44c1296f · outbound

This paper cites Automotive SPICE Process Assessment Model.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Automotive SPICE Process Assessment Model

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.110801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5da21b30-7ae9-44ba-bb6c-0d45f05d1865 · outbound

This paper cites MISRA C: Guidelines for the use of the C language in critical systems.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems MISRA C: Guidelines for the use of the C language in critical systems

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.102003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e29b8d48-0c42-42d1-9543-eea672bb01fc · outbound

This paper cites Attention Is All You Need.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Attention Is All You Need

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.742023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91783240-5176-4537-bca3-fc37664206a6 · outbound

This paper cites The Llama 3 Herd of Models.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems The Llama 3 Herd of Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.746150Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb956aed-cc0b-40fe-a40b-de2cc191599f · outbound

This paper cites Qwen2.5-Coder Technical Report.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Qwen2.5-Coder Technical Report

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.749413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bda4ab98-2c46-4a84-8fd6-0ed34254a630 · outbound

This paper cites Zero-Shot Prompting and Few- Shot Fine-Tuning: Revisiting Document Image Classifica- tion Using Large Language Models.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Zero-Shot Prompting and Few- Shot Fine-Tuning: Revisiting Document Image Classifica- tion Using Large Language Models

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.093640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0452441e-546e-4dc4-9f88-b70fa87ddd3e · outbound

This paper cites Multimodal Chain-of-Thought Rea- soning in Language Models.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Multimodal Chain-of-Thought Rea- soning in Language Models

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.084902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5da7d8c2-b0f5-4727-8b30-3d99a7ea9f88 · outbound

This paper cites Better Zero-Shot Reasoning with Role-Play Prompting.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Better Zero-Shot Reasoning with Role-Play Prompting

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.759067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c186eed-dfba-4c62-b4f5-a5ffa2b07741 · outbound

This paper cites VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.762296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a104591-b563-472f-9abf-5bcb0098afb4 · outbound

This paper cites Comparison between JSON and Y AML for Data Serialization.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Comparison between JSON and Y AML for Data Serialization

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.076210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation dbc8ec0e-4dbd-4367-a326-b0f0265c074f · outbound

This paper cites McEval: Massively Multilingual Code Evaluation.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems McEval: Massively Multilingual Code Evaluation

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.768678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7202dc4a-7d67-444b-971a-f4899b5f3461 · outbound

This paper cites Aider Code Editing Benchmark.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Aider Code Editing Benchmark

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.067374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a5b530f1-659e-4b86-9849-47905f69f4f5 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Evaluating Large Language Models Trained on Code

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.774617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 551f9471-fcdb-482d-924e-03c66c451655 · outbound

This paper cites DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.778195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05b4687f-029d-4440-841b-f5216c788c11 · outbound

This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming – The Rise of Code Intelligence.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems DeepSeek-Coder: When the Large Language Model Meets Programming – The Rise of Code Intelligence

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.058646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8a8ce59d-5775-4947-b532-9ae2969d5c02 · outbound

This paper cites Codestral: Hello, World! Accessed: January 27,.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Codestral: Hello, World! Accessed: January 27,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.049676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9b954913-4c07-4081-bbec-58887eefa311 · outbound

This paper cites YOLOP: You Only Look Once for Panoptic Driving Perception.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems YOLOP: You Only Look Once for Panoptic Driving Perception

Reference 35

Resolution: verified exact; doi, observed 2026-08-07T10:54:50.823131Z

Source-reported events for the cited work

correction dated 2023-05-31. Source: crossref record 10.1007/s11633-023-1452-6->10.1007/s11633-022-1339-y:correction, observed 2026-07-11T03:07:44.968461+00:00. This notice travels one citation hop only.

Observation c3af2862-7b03-4dde-b46b-40b0992e7414 · outbound

This paper cites Intelligent transport systems — Adaptive Cruise Control systems — Performance requirements and test procedures.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems Intelligent transport systems — Adaptive Cruise Control systems — Performance requirements and test procedures

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.031927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f8bc5064-6890-48be-b72f-ba1e2ec488ab · outbound

This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence.

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-07T10:54:50.784155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ec983ca-bc16-4164-a544-5855ac947887 · outbound

This paper cites URL: https : / / mistral.

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems URL: https : / / mistral

Reference 2025

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:54:51.041204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

Observation 152494c3-7c23-43a2-bc11-935be59db08a · inbound

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code cites this paper.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems

Reference 56

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:48:53.276261Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.