Pith. sign in

Paper Citation Record · LEDGER

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code

As of 8 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 0 inbound Pith citation observations for arXiv:2507.15025.

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

pith.paper-citation-record.v1
2507.15025 v1

Coverage vector

measured 76 of 76 reference resolution

Typed states for the displayed outbound observations.

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

measured 76 of 76 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

76 of 76 outbound references displayed

  • verified exact12
  • verified fuzzy38
  • unresolved26
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation eb630cce-ee26-45e8-8d91-97f2d8f3d8e8 · outbound

This paper cites an unresolved cited work.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Unresolved cited work

Reference 1

Resolution
verified exact
doi, observed 2026-08-06T15:48:51.561762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:41.549502Z digest=sha256:e549994651fe28ccd30a40042ad28de23ac2e98a167381b3a8ffc241480b4349

Observation ead4b540-cc60-4e5f-8a9f-4f057e85781d · outbound

This paper cites Exploring generative ai in automated software engineering,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Exploring generative ai in automated software engineering,

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:04.342414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:41.632344Z digest=sha256:91133e7c414c1d29b8c976c42fdb232444765445f51f4660a0c4f26e5220b66a

Observation d211b553-b1e0-4e2f-b01f-6eeda93a1277 · outbound

This paper cites Generative ai adoption in automotive vehicle technology: Case study of custom gpt,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Generative ai adoption in automotive vehicle technology: Case study of custom gpt,

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:04.046922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:41.727846Z digest=sha256:d79a902bae5f5b8f8d4cf2a4ebf61403dbaf219e3684d1c6008627b1606752cc

Observation ee8df169-b79a-4604-9346-ce4a48feb923 · outbound

This paper cites Auto- motive software engineering in an increasingly data-driven automotive sector,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Auto- motive software engineering in an increasingly data-driven automotive sector,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:03.811548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:41.901955Z digest=sha256:8b2e537c1210a7cd805d0c71a692f36d320b7c93fc317eb070f416ea65bac494

Observation a5b731e8-55e5-4039-94e6-8dea9125e2f7 · outbound

This paper cites Requirements and software engineering for automotive perception systems: an interview study,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Requirements and software engineering for automotive perception systems: an interview study,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:03.556610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:42.030904Z digest=sha256:f0351028aba061285770ee53f40d81ee9ca3a00b2d2db4502ad752605f9df6d6

Observation 57e60dea-d309-4bcd-9d22-38c440d0b01d · outbound

This paper cites Requirements management in automotive: Tools and trends for a competitive edge,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Requirements management in automotive: Tools and trends for a competitive edge,

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:03.327862Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:42.322634Z digest=sha256:b106ba10e4317ff8198dda51afa94cac015ccd0599ccac81a1068b094158dca5

Observation 42ff040c-edf7-44e7-b956-dd77031accbd · outbound

This paper cites A Survey on Large Language Models with some Insights on their Capabilities and Limitations.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code A Survey on Large Language Models with some Insights on their Capabilities and Limitations

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:42.431801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:42.431801Z digest=sha256:d221a702daa06a60e44495dfd8f545ecd6f716d13c3144966bd4923bb061427a

Observation aa3ed4c5-26ea-4b82-a069-b7cf77b94227 · outbound

This paper cites Language Models are Few-Shot Learners.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Language Models are Few-Shot Learners

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:42.559046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:42.559046Z digest=sha256:adfad32ab2785970334480e315c8b2ade3209a0768fa0fa8be9db6e049608059

Observation 3fa56de5-4cd8-45a2-8fab-2005b3845b6e · outbound

This paper cites Pre-train prompt fine-tune: A survey of prompting methods in natu- ral language processing,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Pre-train prompt fine-tune: A survey of prompting methods in natu- ral language processing,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:03.045351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:42.739849Z digest=sha256:9948484b1406ce19823ee542aa0084cd3e1081fd84bb0d7b241052e85b8457cc

Observation 8d4db038-a5d3-449f-ad5f-7c81d1360589 · outbound

This paper cites Using the Retrieval- Augmented Generation to Improve the Question-Answering System in Human Health Risk Assessment: The Development and Application,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Using the Retrieval- Augmented Generation to Improve the Question-Answering System in Human Health Risk Assessment: The Development and Application,

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:02.777852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:42.832656Z digest=sha256:0f20f994cfe3c77bd12808fd7d9747fbcc60cf17d3c9e6738c9e18c1d6f252a6

Observation c3911bec-1df8-44cc-b2c6-3ee826f0a6e6 · outbound

This paper cites Automating regulatory compliance: A multi-agent solution using Amazon Bedrock and CrewAI | Artificial Intelligence and Machine Learning,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Automating regulatory compliance: A multi-agent solution using Amazon Bedrock and CrewAI | Artificial Intelligence and Machine Learning,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:02.508295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:42.951263Z digest=sha256:32c72c0a50e23b4c17e10382167c3b6ace7a89135752876f89daf2a7e5f1ec01

Observation 2e28d110-24e2-4637-896e-dd948d3edc44 · outbound

This paper cites Vision language models in autonomous driving: A survey and outlook,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Vision language models in autonomous driving: A survey and outlook,

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:02.323854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:43.069431Z digest=sha256:cca7d35c41cc047c716f236768b3f4464afa9f1bc8a3f3022efc416301f17209

Observation 6f0ae2bc-65cf-4420-aba1-2c3dab16ef78 · outbound

This paper cites NotebookLM: Ai-powered research and note-taking assistant,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code NotebookLM: Ai-powered research and note-taking assistant,

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:02.065549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:43.180894Z digest=sha256:9c404e03ec140cb7c54c925ee595a5757c195009591022d5433d12d6d6c29063

Observation 0ffb722f-d38e-4818-b7d0-1eb37aad92a8 · outbound

This paper cites MANNHEIM-CeCaS – Central Car Server – Supercomputing for Automotive,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code MANNHEIM-CeCaS – Central Car Server – Supercomputing for Automotive,

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:01.802687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:43.299221Z digest=sha256:b5355a0d7878d12691e623bcad3b9647eda1a2b26c5177a22ae5d9eb2fe456d4

Observation a847b231-f73d-479d-b0f0-0d1a4b0543aa · outbound

This paper cites Towards single-system illusion in software-defined vehicles - automated, ai-powered workflow,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Towards single-system illusion in software-defined vehicles - automated, ai-powered workflow,

Reference 15

Resolution
verified exact
raw_fallback, observed 2026-08-06T15:48:54.535496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:43.406439Z digest=sha256:dc0e97afb915592d8286628c8a8fae9405b811ca4aac7d17463e92432502930c

Observation 143b03ac-8b7e-444c-8a0b-9d840ac0c05b · outbound

This paper cites Synergy of large language model and model driven engineering for automated development of centralized vehicular systems,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Synergy of large language model and model driven engineering for automated development of centralized vehicular systems,

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:43.510902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:43.510902Z digest=sha256:f948fb27828fb3f00251213838c7a2093a7a2fba780a4b08d05aea4ce8cf6e14

Observation 5627c5e8-016b-4dd5-81cc-1cc9f45a5e57 · outbound

This paper cites Generative artificial intelligence for model-based graphical programming in automotive function development,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Generative artificial intelligence for model-based graphical programming in automotive function development,

Reference 17

Resolution
verified exact
doi, observed 2026-08-06T15:48:51.172230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:43.611400Z digest=sha256:89b44e289996c61bbd47e5a1977fac68ddf1be372d44eabb0c94afd8911808b7

Observation 8f6446d2-3bde-4fa8-bd35-df9d8a2aa170 · outbound

This paper cites RECSIP: REpeated Clustering of Scores Improving the Precision.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code RECSIP: REpeated Clustering of Scores Improving the Precision

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:43.757714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:43.757714Z digest=sha256:c5b8244ff212f011a2b83bedfaac504447c2bbe6bcd61bee9e7704fbbe4bf4f9

Observation 0f581378-7db1-40a8-a2f7-1d41c48df6de · outbound

This paper cites Adopting rag for llm-aided future vehicle design,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Adopting rag for llm-aided future vehicle design,

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:01.562286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:43.865567Z digest=sha256:239ca7ee8966759d6e74c9c14a04142e4a2f7d792bd634ffe16621ec0de9853f

Observation 4a99cf90-e7a1-4f46-ba96-fb859d265b64 · outbound

This paper cites Local large language models to simplify requirement engineering documents in the automotive industry,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Local large language models to simplify requirement engineering documents in the automotive industry,

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:43.994745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:43.994745Z digest=sha256:e07ea6e374ccbd64168876bf5dfcd738952bc9171ede36d56254edf34e925bde

Observation 980c0941-1199-4641-9980-2f5c023f9b13 · outbound

This paper cites Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:44.102637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:44.102637Z digest=sha256:daee85f56bbc81d9c685db60f593326441de56bfa5628576d5de04f0bb6af1d7

Observation 6785ce23-a96d-43dc-a3e4-1cf989473046 · outbound

This paper cites Llm-based iterative approach to metamodeling in automotive,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Llm-based iterative approach to metamodeling in automotive,

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:01.310805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:44.212477Z digest=sha256:389ac8ce44a9c001ba6d6acb82f1dd2b4be132667fdc02e4359dae7454198234

Observation 34da2b63-992a-4f10-a4b8-f81f2a5edd8a · outbound

This paper cites Llm-enabled instance model generation,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Llm-enabled instance model generation,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:01.020007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:44.328213Z digest=sha256:cc90b1af422883a909e79088a43f51614ed99e6688a62ed99b91c5900d0a515e

Observation b1db050f-2aa5-4dbe-907a-36d5778029af · outbound

This paper cites Generative ai for ocl constraint generation: Dataset collection and llm fine-tuning,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Generative ai for ocl constraint generation: Dataset collection and llm fine-tuning,

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:00.719833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:44.433167Z digest=sha256:bd21654c91a5da7da572249184a214c28d94289edc6aafb8bd28d218c59263b9

Observation 4dd95e5d-30a8-4fa0-b76e-004cdc17f731 · outbound

This paper cites Optimizing Retrieval Augmented Generation for Object Constraint Language.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Optimizing Retrieval Augmented Generation for Object Constraint Language

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:44.547059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:44.547059Z digest=sha256:44793427e5369bb3c62d12b95bc9bd95bab70b2c600e9cfa928a771035e32f99

Observation 08559745-6a99-46c6-a9e9-ad850e596a2d · outbound

This paper cites Specbook-copilot – efficient formalization of requirements using artificial intelligence in the development of mb.os,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Specbook-copilot – efficient formalization of requirements using artificial intelligence in the development of mb.os,

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:00.428677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:44.691184Z digest=sha256:bb05813075fd3b5912b69a0face8a5738eb496b43eb7e3c188b22e52bc848b49

Observation 31d59a06-c44d-434c-b28c-0715f838cbf0 · outbound

This paper cites Chat2Scenario: Scenario Extraction From Dataset Through Utilization of Large Language Model.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Chat2Scenario: Scenario Extraction From Dataset Through Utilization of Large Language Model

Reference 27

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:44.838999Z digest=sha256:c39ff84c1cfd5e304f8bf4980dd40891adbe8f21f5cb771bb2d1ca2bbcc336ad

Observation 079aa970-b9a0-47f2-a687-f7f5e1921b34 · outbound

This paper cites TARGET: Automated Scenario Generation from Traffic Rules for Testing Autonomous Vehicles via Validated LLM-Guided Knowledge Extraction.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code TARGET: Automated Scenario Generation from Traffic Rules for Testing Autonomous Vehicles via Validated LLM-Guided Knowledge Extraction

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:44.993593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:44.993593Z digest=sha256:a04e6cfd028b97f7c7e6220eef8a1416cf87e3fb5da522d1f845b8d660312716

Observation 3d14f56f-5017-4033-8029-42b08da41fea · outbound

This paper cites LMM-enhanced Safety-Critical Scenario Generation for Autonomous Driving System Testing From Non-Accident Traffic Videos.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code LMM-enhanced Safety-Critical Scenario Generation for Autonomous Driving System Testing From Non-Accident Traffic Videos

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:45.150312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:45.150312Z digest=sha256:75b0e8b268884479f8b9441c79eecf567e88f1d42092c7777b9550a0c8fa10c8

Observation f354c829-514e-408e-bdd5-2029511a0c28 · outbound

This paper cites LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models

Reference 30

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:45.269130Z digest=sha256:99015d44bf2dc1d32ed6961dcba779997ac13fe391657e9944f6de4733d6976f

Observation ede10756-5d1f-4918-a4d3-bd347758c1d6 · outbound

This paper cites Towards specification-driven llm- based generation of embedded automotive software,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Towards specification-driven llm- based generation of embedded automotive software,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:49:00.113847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:45.428325Z digest=sha256:2c226290c9ee77c236b1e4c6e967eca8ee56b8aa68e893f9b5eecaad9ed44854

Observation 17aa2763-0c3b-47f9-997b-cd9bd1b2303f · outbound

This paper cites An empirical study of the code generation of safety-critical software using llms,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code An empirical study of the code generation of safety-critical software using llms,

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:59.852540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:45.556466Z digest=sha256:21fdf1abfc034e919968ae932326eea24a274b5474ca1dc9ea6f1e9beea15a6f

Observation 70e7cb5d-03b5-4707-ab5a-a3a125878511 · outbound

This paper cites On simulation-guided llm-based code generation for safe autonomous driving software,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code On simulation-guided llm-based code generation for safe autonomous driving software,

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:59.631019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:45.671226Z digest=sha256:b519da8d345e029e6506780ad5fcc388b23579bdfcd5bbc983a475d9c94a733c

Observation edf77b9c-1a45-4b53-a8d9-b2e3ea170b26 · outbound

This paper cites Automating automotive software development: A synergy of generative ai and formal methods,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Automating automotive software development: A synergy of generative ai and formal methods,

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:45.768966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:45.768966Z digest=sha256:b249f8a94e8fe507fb622f2606b2b52ca26b8377223456e80325ca4f62fcdd11

Observation 4a0d39f5-381c-40e9-8e33-6755dad5173f · outbound

This paper cites Are requirements really all you need? A case study of LLM-driven configuration code generation for automotive simulations.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Are requirements really all you need? A case study of LLM-driven configuration code generation for automotive simulations

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:45.880763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:45.880763Z digest=sha256:4a40759f507f44a30ce684740c30f99abe3f6b8a6b389ebd0aad635661ba9c38

Observation 1a57a632-7919-4bac-9ee2-48ef27d7b520 · outbound

This paper cites Llm-driven testing for autonomous driving scenarios,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Llm-driven testing for autonomous driving scenarios,

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:59.362828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:46.003434Z digest=sha256:0d858a06690f2a94d77f1ba589783a6937ac3baf5852e76952546d08a5bf2c49

Observation 073a27a9-2611-45fc-8d8e-c9dc235456b3 · outbound

This paper cites Survey of hallucination in natural language generation,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Survey of hallucination in natural language generation,

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:59.091257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:46.124900Z digest=sha256:906d05a95811051dda99ff2a8a6c8431dd3b38b47264122ee456a008127e64ea

Observation 2e305797-b359-4e6b-910c-df3d006a6607 · outbound

This paper cites Encouraging divergent thinking in large language models through multi-agent debate,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Encouraging divergent thinking in large language models through multi-agent debate,

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:58.823475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:46.394000Z digest=sha256:a859234bbbf7b11f38045247388f5454d7be4a5f3bddcf59d164c02658cfeaaf

Observation 52d9da28-9288-418b-8506-fa0d4d751347 · outbound

This paper cites ReConcile: Round-table conference improves reasoning via consensus among diverse LLMs,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code ReConcile: Round-table conference improves reasoning via consensus among diverse LLMs,

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:58.584291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:46.501200Z digest=sha256:3734a0f53faf685e5d860577dd74b24cfde8196d9b746752ac985550cf042490

Observation 2c067439-6ae3-462b-bd48-ca69149a165c · outbound

This paper cites Rethinking the bounds of LLM reasoning: Are multi-agent discussions the key?.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Rethinking the bounds of LLM reasoning: Are multi-agent discussions the key?

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:58.225888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:46.656801Z digest=sha256:fcdbe84c38ebcac8ab305d6ff9bd2ce050e27fd86def97eeceaad7623e22b09b

Observation 7eff8fbb-a6d0-4a61-89e2-23c7ef7f7e3f · outbound

This paper cites Self-consistency improves chain of thought reasoning in language models,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Self-consistency improves chain of thought reasoning in language models,

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:46.740838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:46.740838Z digest=sha256:67c2225afa4cb4a82c8fefd33a3ffa383237279bd1f4e9af8d303cef0724048c

Observation d50a4cca-baf9-4a50-bcd9-b8c6b3b7be65 · outbound

This paper cites Reasoning Aware Self-Consistency: Leveraging Reasoning Paths for Efficient LLM Sampling.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Reasoning Aware Self-Consistency: Leveraging Reasoning Paths for Efficient LLM Sampling

Reference 42

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:46.888459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:46.888459Z digest=sha256:fa3cd2c79e9219a983e69082c27b746927c6fc0fab51802651ee38ac8a62ef2e

Observation 78f71e1c-b0f9-426a-a780-521e6aff7ca9 · outbound

This paper cites Internal Consistency and Self-Feedback in Large Language Models: A Survey.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Internal Consistency and Self-Feedback in Large Language Models: A Survey

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:47.012964Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:47.012964Z digest=sha256:e1a3ff3419d8fb69a31f2c0b865080887f5d1ab062cfb931b1f784e807efa805

Observation 2297e8cc-3e00-44eb-b696-03d073bd4042 · outbound

This paper cites Escape sky-high cost: Early-stopping self-consistency for multi-step reasoning,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Escape sky-high cost: Early-stopping self-consistency for multi-step reasoning,

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:57.975538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:47.159185Z digest=sha256:535dedd5d20db744e28b634d677178944d89ed4c4e300360cd51d4e5601321c0

Observation 48ebbae2-af95-47a1-b352-83cd3cb00326 · outbound

This paper cites Let’s sample step by step: Adaptive-consistency for efficient reasoning and coding with LLMs,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Let’s sample step by step: Adaptive-consistency for efficient reasoning and coding with LLMs,

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:57.745501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:47.327400Z digest=sha256:bcd17f9cca4df49e6e35035f4eb5216c4d987d217f772847fba7b45a5e8c6109

Observation 2a8734b4-9ee0-440e-bd35-96935f357225 · outbound

This paper cites SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models,

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:57.432640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:47.474640Z digest=sha256:bacc58f61df585d52ae4838a93a08c5e17c85088131f187de87aed0defc47487

Observation 3919c584-7db8-4760-a804-1cc89128cc57 · outbound

This paper cites Evaluating uncertainty-based failure detection for closed-loop LLM planners,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Evaluating uncertainty-based failure detection for closed-loop LLM planners,

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:57.170888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:47.571062Z digest=sha256:ec05ed82c06228484ff20f2103e8a61b8d3a7ca659e3356ad900182f1e2c21b4

Observation 77321195-86b6-482b-be87-f12e1d8d4271 · outbound

This paper cites CLUE: Concept-Level Uncertainty Estimation for Large Language Models.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code CLUE: Concept-Level Uncertainty Estimation for Large Language Models

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:47.673570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:47.673570Z digest=sha256:d3c6892d01a01e6d66f26ebc64a57df0d5f0711519c130f9586c0d27abe5f92d

Observation d025c167-3784-401d-82f5-bb40e17e4434 · outbound

This paper cites Geneva, Switzerland: ISO, 2018.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Geneva, Switzerland: ISO, 2018

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.918729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:47.772438Z digest=sha256:a41bd4d9b5aeda6b362afec5601013b5a18374b5caa21f275059986d33d58e13

Observation 77614bac-fa67-447b-88af-786e5542873f · outbound

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

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Cppcheck: A static analysis tool for c++,

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.672425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:47.928332Z digest=sha256:b2b074d7be738376cc6317f9ba6fc57a6d4c18ce999725a6e92487b5a00c853e

Observation c1663745-2309-4efd-b846-785f62a68238 · outbound

This paper cites Multimodal chain-of-thought reasoning in language models,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Multimodal chain-of-thought reasoning in language models,

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.421469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:48.050027Z digest=sha256:30b360d094ca855fdc4dfd0ab7eef61a4156591e0029ba6633ec7eec151a7237

Observation 818418cd-f533-4854-b5b0-ccc61331aeef · outbound

This paper cites Better zero-shot reasoning with role-play prompting,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Better zero-shot reasoning with role-play prompting,

Reference 52

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.239945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:48.155781Z digest=sha256:a2f77754516bd8954b9732e192aed00eefdcf6d0c0cf93caf36b0c2cce1a2861

Observation bb0b8114-f0dc-44de-b69b-5e560105e54e · outbound

This paper cites Langprop: A code optimization framework using large language models applied to driving,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Langprop: A code optimization framework using large language models applied to driving,

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:48.413355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:48.413355Z digest=sha256:3f30da002fe77ecca934a4142b296f91aeeb10d1402d13db1623a24ff78916db

Observation 18b76216-824e-41f9-84e2-8b245f09a15a · outbound

This paper cites Vecogen: Automating generation of formally verified c code with large language models,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Vecogen: Automating generation of formally verified c code with large language models,

Reference 54

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:56.042054Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:48.514823Z digest=sha256:63b6cd9dcdc939610e39b636b2726dde974ac5c523f78398cc33f12bbc563769

Observation 12b33664-c80e-4c68-8197-598a871ae5cd · outbound

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

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Better Zero-Shot Reasoning with Role-Play Prompting

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:48.298639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:48.298639Z digest=sha256:b3647aac7504fae2c6425605bec71edfa444103148ec730ed996ebeb78d1dfe6

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

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

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-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:48.929158Z digest=sha256:cda20b8e3f3af14026a115e1a9586aeb53fc71e2626e49975e589dc5b47a80f0

Observation 23a294b8-da9f-44c4-872a-abecfc3bdf58 · outbound

This paper cites A VL CAMEO 5™,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code A VL CAMEO 5™,

Reference 57

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:55.783200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:49.051822Z digest=sha256:43a68ab5f27be7c15292e8a38e2a39fb35fe660e30285253eb9dd49112fa58e5

Observation 1a2882d5-d713-4da9-aadc-31350169309d · outbound

This paper cites (2025) Sysml.org.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code (2025) Sysml.org

Reference 58

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:55.510090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:49.151449Z digest=sha256:966429554d9b72e514a3e172f064e8f69563f706a7eeec35999532afc393baad

Observation ac0cbf16-ce7c-4999-b567-948bf28c669a · outbound

This paper cites Speedgen: Enhancing code ef- ficiency through large language model-based performance optimization,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Speedgen: Enhancing code ef- ficiency through large language model-based performance optimization,

Reference 59

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:48.806654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:48.806654Z digest=sha256:67e7e516e9cadb9a963102e0d554ba5f36cb3e1e75424dff9922db64fe2c6da6

Observation c0e39c43-e819-45fa-8ed3-1979f86a3393 · outbound

This paper cites Evaluation of vision language model on uml diagrams,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Evaluation of vision language model on uml diagrams,

Reference 60

Resolution
verified exact
raw_fallback, observed 2026-08-06T15:48:53.012836Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:49.435739Z digest=sha256:9fca81b7de7920937399733e8084322a0c4d4ddc1195a312f2e50ce15cef3c3c

Observation 0320b4fa-3aa1-4bd2-b947-5371c8880304 · outbound

This paper cites Beyond End-to-End VLMs: Leveraging Intermediate Text Representations for Superior Flowchart Understanding.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Beyond End-to-End VLMs: Leveraging Intermediate Text Representations for Superior Flowchart Understanding

Reference 61

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:49.568986Z digest=sha256:ce419ae0812bc2e716bf0b4c591a9bd98827c6767177ac6ca1ea6538b6c17494

Observation 2a6b2b9b-0141-441b-8480-f1a035e11916 · outbound

This paper cites Arrow-Guided VLM: Enhancing Flowchart Understanding via Arrow Direction Encoding.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Arrow-Guided VLM: Enhancing Flowchart Understanding via Arrow Direction Encoding

Reference 62

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:49.654506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:49.654506Z digest=sha256:a35054a46b00cf306aba0ae3a7d76d33955ca35215e289f9e3e72b6d5c928e08

Observation 08a8534d-681f-43ae-ac9b-aeaabc74e318 · outbound

This paper cites Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study

Reference 63

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:49.277484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:49.277484Z digest=sha256:0602c525b61f43667c910ded1b5586967760c4260effaf87aff37b065eaf89a8

Observation f9ca77e8-f3c8-43a9-8bf7-663f91d23e29 · outbound

This paper cites CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation

Reference 64

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:49.861456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:49.861456Z digest=sha256:64fb09273320b9d1d3a43cb5c9c7d7ad9079ff7f6510c9914cf12104af9500d4

Observation 640dac34-1a76-4843-b400-dd9c9cd5f2d7 · outbound

This paper cites Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

Reference 65

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:50.003922Z digest=sha256:7a4b9cc072dcae8c64a8c66329c07e73395dfcfccf9f6c33912e3eaa2bcee139

Observation f3e17ca1-d703-4608-b508-7b89c9a857e4 · outbound

This paper cites Aegis:An Advanced LLM-Based Multi-Agent for Intelligent Functional Safety Engineering.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Aegis:An Advanced LLM-Based Multi-Agent for Intelligent Functional Safety Engineering

Reference 66

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:50.114500Z digest=sha256:892bafa79579df42e8f51afb7ef00fefdbc7353f198d1e5f789d56c9df452e04

Observation 6b141e87-ef25-4a75-838a-3ee9059590f3 · outbound

This paper cites Chain-of-region: Visual language models need details for diagram analysis,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Chain-of-region: Visual language models need details for diagram analysis,

Reference 67

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:55.288765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:49.755346Z digest=sha256:f480ee172f0572d814edd46ca1d352c32ad97526a5674337f31fbd37b5e18209

Observation b1e6d8e6-35db-4425-8324-ae78627ab074 · outbound

This paper cites Harnessing the power of large language models for automated code generation and verification,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Harnessing the power of large language models for automated code generation and verification,

Reference 68

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:55.064391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:50.383162Z digest=sha256:66456b09afbed9d2720b205fdde6387dfacd2295193164d76e2ae348e1ff4946

Observation ee4c49f9-6f58-4b7c-a752-418127b8be00 · outbound

This paper cites CodeBERT: A Pre-Trained Model for Programming and Natural Languages.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code CodeBERT: A Pre-Trained Model for Programming and Natural Languages

Reference 69

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:50.521586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:50.521586Z digest=sha256:d8b80738ed3555061df0efc4055ef5cd500787a44b5d2d6b51a6d1d5f11d8f02

Observation fb24d86b-7cb2-44dd-8760-6b4969eb73d7 · outbound

This paper cites Startup anthropic says its new ai model can code for hours at a time,.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Startup anthropic says its new ai model can code for hours at a time,

Reference 70

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:48:54.807451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:50.670639Z digest=sha256:739edaff342c6e2f299b03f19de11929cd42b8215e28d96f207d0f22c035854d

Observation 22b1c87a-6132-4b5c-a81f-488151c4097b · outbound

This paper cites On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software

Reference 71

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:50.235514Z digest=sha256:54e83a1e9678f7798164e08d480991bbdee55c7ce01b1c755625ee65c986d5b7

Observation b6446e8b-6710-48ae-9720-d70b5f24c0b3 · outbound

This paper cites Large Language Models are Zero-Shot Reasoners.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Large Language Models are Zero-Shot Reasoners

Reference 72

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:50.931991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:50.931991Z digest=sha256:bbd8c71d2b9b39169b3ca2320876b81eb8d61cf62351e6b35a850504172575b1

Observation 514cd4b0-b4ad-41f0-999a-bb7a3d59be2a · outbound

This paper cites Chain-of-Thought Prompting Elicits Reasoning in Large Language Models.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

Reference 75

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:50.823083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:50.823083Z digest=sha256:32b974c08e61dd5cfe7c6af27ab33bb5ceb7b82c3b9002abf3721db0c2183442

Observation e1ba0ca2-abee-40c5-bf70-eeacd4a497de · outbound

This paper cites Available: http://dx.doi.org/10.1145/3571730.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Available: http://dx.doi.org/10.1145/3571730

Reference 2023

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:46.290973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:46.290973Z digest=sha256:898cf3ff520fb0438e446ccff87cca0329408cdecb3fc79bb25c9a7721e6c4b6

Observation 5cf84750-aead-4626-9ada-7b0ecc936139 · outbound

This paper cites Available: https://doi.org/10.1007/s00766-023-00410-1.

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code Available: https://doi.org/10.1007/s00766-023-00410-1

Reference 2024

Resolution
verified exact
doi, observed 2026-08-06T15:48:51.381546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-08-06T15:48:42.210905Z digest=sha256:8fe6db2351dc25f6243babe58e6bf014e135da4767e6b978e543d62a93246f44

Observation 22fb5feb-caf1-49c1-967f-905deeb51dd4 · outbound

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

Survey of GenAI for Automotive Software Development: From Requirements to Executable Code VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models

Reference 2025

Resolution
unresolved
no resolver link, observed 2026-08-06T15:48:48.641759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:48:48.641759Z digest=sha256:fb12e48ccfb48863234e62bc4ec7e51da3e218abadcd77116e098eef006b8f56

Pith citing papers

No inbound Pith citation observations are available.