Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T05:38:50.895831Z
Paper Citation Record · LEDGER
GenAI-based test case generation and execution in SDV platform
As of 10 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2509.05112.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
14 of 14 outbound references displayed
- verified exact2
- verified fuzzy2
- unresolved5
- parse uncertain0
- malformed identifier0
- metadata mismatch5
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f12bed5f-0300-4b0d-9c79-fa2ca0e7b998 · outbound
This paper cites In: Proceedings of the 2014 Work- shop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing.
GenAI-based test case generation and execution in SDV platform In: Proceedings of the 2014 Work- shop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing
Reference 1
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T05:38:52.781240Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation a3d0702f-4807-4e3b-ab8f-e4610fe113ae · outbound
This paper cites The role of formalism in system requirements (full version).
GenAI-based test case generation and execution in SDV platform The role of formalism in system requirements (full version)
Reference 2
- Resolution
- verified exact
- local_arxiv, observed 2026-08-05T05:38:52.559116Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation c3d05450-eba1-4aab-a6d6-82d5a491763b · outbound
This paper cites an unresolved cited work.
GenAI-based test case generation and execution in SDV platform Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T05:38:53.852798Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 6d8fea1f-5618-42ae-b170-b3c318dfca5e · outbound
This paper cites In: 2017 IEEE International Con- ference on Systems, Man, and Cybernetics (SMC).
GenAI-based test case generation and execution in SDV platform In: 2017 IEEE International Con- ference on Systems, Man, and Cybernetics (SMC)
Reference 4
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T05:38:52.277438Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation b5bf88ac-e5e7-4af1-9620-42b4f493fa2b · outbound
This paper cites Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering (2017).
GenAI-based test case generation and execution in SDV platform Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering (2017)
Reference 5
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T05:38:51.974353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d3316132-0b86-4385-83fd-ec19aa81aee9 · outbound
This paper cites Software Quality Journal29, 39 – 100 (2020).
GenAI-based test case generation and execution in SDV platform Software Quality Journal29, 39 – 100 (2020)
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-05T05:38:51.297724Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ee061921-bd9d-427d-a341-3e2d94adefe0 · outbound
This paper cites In: Clarke, P.M., O’Connor, R.V., Rout, T., Dorling, A.
GenAI-based test case generation and execution in SDV platform In: Clarke, P.M., O’Connor, R.V., Rout, T., Dorling, A
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T05:38:53.632907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 0493b245-fd39-4114-8d20-7732da36e020 · outbound
This paper cites an unresolved cited work.
GenAI-based test case generation and execution in SDV platform Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T05:38:53.457576Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ca64745f-e490-4422-8a80-bf54d10ff672 · outbound
This paper cites Design Science10(09 2024).
GenAI-based test case generation and execution in SDV platform Design Science10(09 2024)
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T05:38:50.415060Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3b7b7a5-d5fc-494c-8cac-e2e1f632c886 · outbound
This paper cites Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study.
GenAI-based test case generation and execution in SDV platform Multi-modal Summarization in Model-Based Engineering: Automotive Software Development Case Study
Reference 10
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-05T05:38:51.113185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 00b79c25-e233-469e-a24f-12ebd22ac461 · outbound
This paper cites In: The Digital Playbook: A Practitioner’s Guide to Smart, Connected Products and Solutions with AIoT, pp.
GenAI-based test case generation and execution in SDV platform In: The Digital Playbook: A Practitioner’s Guide to Smart, Connected Products and Solutions with AIoT, pp
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T05:38:53.243424Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f32db18b-6a41-42ca-9617-b744d54556e2 · outbound
This paper cites an unresolved cited work.
GenAI-based test case generation and execution in SDV platform Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T05:38:53.009652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 7edd649b-4dcb-4eb0-88f4-74458d16b0c7 · outbound
This paper cites ACM Comput.
GenAI-based test case generation and execution in SDV platform ACM Comput
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T05:38:50.767887Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1d42d6a9-d8e0-4121-a6a3-8204bb5b1912 · outbound
This paper cites In: Proceedings of the 29th International Con- ference on Evaluation and Assessment in Software Engineering.
GenAI-based test case generation and execution in SDV platform In: Proceedings of the 29th International Con- ference on Evaluation and Assessment in Software Engineering
Reference 14
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T05:38:51.680328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Pith citing papers
No inbound Pith citation observations are available.