Paper Citation Record · LEDGER

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability

As of 7 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2509.09194.

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

pith.paper-citation-record.v1
2509.09194 v1

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T19:35:10.802910Z

measured 52 of 52 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 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

52 of 52 outbound references displayed

verified exact0
verified fuzzy0
unresolved52
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e40e823b-1c02-4eaf-b67b-07a956daf73f · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.607341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10bf5638-e18b-43fd-8b75-3ba79a793d8e · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.651557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d166fa17-d2de-4133-b8eb-3746f8fb0df4 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.665654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55dece47-9140-4dda-8614-8124beb312bb · outbound

This paper cites Ashrov and G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Ashrov and G

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.712621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cce687e-468b-47d6-8b70-eada258a1d12 · outbound

This paper cites Ashrov, A.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Ashrov, A

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.752887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4574bb6b-32b8-47b7-8468-103753305e8c · outbound

This paper cites PaLM: Scaling Language Modeling with Pathways.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability PaLM: Scaling Language Modeling with Pathways

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.817950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b8c3f8b-1053-45fb-8572-be74d8f92e02 · outbound

This paper cites Corsi, R.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Corsi, R

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.886054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 759c8539-c678-4b09-b3e6-c9342c79adfd · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.927571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13d2ea75-ae58-4ca6-938f-6abae1297250 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.962347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cae51c19-83ae-44a2-8c17-b4aba8eae79c · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:08.993336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f56ff8a-d2ac-4e79-a6fc-00b81250389d · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.038535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79de49c3-a599-4104-9263-6b459882d3d1 · outbound

This paper cites Greenyer, D.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Greenyer, D

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.068399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 513a0c69-79db-4741-a25c-c2a865cd6903 · outbound

This paper cites Greenyer, D.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Greenyer, D

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.231040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b615b317-79d4-4529-9994-003e5c81d530 · outbound

This paper cites Greenyer, D.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Greenyer, D

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.277802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f86a7984-8515-4e44-9e6e-2003596b7b36 · outbound

This paper cites LLMs: A Game-Changer for Software Engineers?.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability LLMs: A Game-Changer for Software Engineers?

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.438159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dea397b0-29ab-4285-8767-ede7bb3118f4 · outbound

This paper cites Harel, A.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, A

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.478614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76d231d0-83b0-4ee5-993a-caeb0c942469 · outbound

This paper cites Harel, A.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, A

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.501773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 668ec3e7-f947-4909-b726-0a05950c48d2 · outbound

This paper cites Harel, A.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, A

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.543562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d8ec81f-9e9e-414d-80d9-15b149e971ea · outbound

This paper cites Harel and G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel and G

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.573110Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 907dfa1b-f92e-43e3-ab5c-4676a0f8039e · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.607767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e303139e-f7fe-4290-9dc5-cddb2209bfa2 · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.629995Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f4f8bfa-4a61-444c-88ab-ccf5d9ba97be · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.646755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a45740d9-4a46-4c0a-aa10-912fac63c7d8 · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.730266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd07f660-1e69-4839-9773-ea110966ab00 · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.789517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af88e2d4-2d30-4fd5-9666-8f33932c0cbe · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.840099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 393502b6-a7a6-469c-b2fb-90a7e7da10f0 · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.863720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ae39c39-2d61-4388-830c-e4764be3da69 · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.920931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aba4bcd8-3ba2-4ed3-b1e5-ddbabaf27a9c · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.950622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4617f4d0-638c-4097-a983-db0944503ee6 · outbound

This paper cites Harel, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, G

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.010103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa6935b4-022e-4c05-8643-2260b8468155 · outbound

This paper cites Harel, R.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, R

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.071297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 265f8057-a1ea-4213-b668-02f34de94011 · outbound

This paper cites Harel, A.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Harel, A

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.128176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deed5947-49ef-4e31-95f1-53180ed81035 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.180629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 608a02a4-0cd8-4493-ae9e-8cbcc7af047e · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.222814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fda3710e-fc1c-467e-9a5f-df54dae10436 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.284068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bea4cf7-c3b1-465a-a043-68ed52f45eb0 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.339053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d534dc6-77dd-43eb-9418-b182d1ef97b3 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.367986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b382cd74-17b7-459b-809d-ccdf7ac63177 · outbound

This paper cites Katz and A.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Katz and A

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.418193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae72c701-d8c0-4d06-ac10-974e35f695b2 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.431003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bab3328-f4bd-4bbe-859f-05637d82f374 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.452972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07b3e2ff-4061-4dbf-af7e-1c8b2ce45f8a · outbound

This paper cites Marron, Y.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Marron, Y

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.471508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cd742bb-22cb-4f3d-82d3-3efeac780604 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.477785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 821a3afb-0c6e-4e71-94c7-cce51d92f5bc · outbound

This paper cites Steinberg, J.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Steinberg, J

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.509234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7976270a-42a3-45c8-90d9-c2fb81a067ce · outbound

This paper cites Steinberg, J.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Steinberg, J

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.527334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9dbe54d1-fc69-4d40-afd4-ab6b0cd4ba37 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.563982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c217eff-ce8c-4190-8988-fd7c8e8ccbd0 · outbound

This paper cites Tleemann.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Tleemann

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.622031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2dc5e39e-443e-4c85-9e13-e6aa0a6bba2a · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.674407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d7bcf90-12f7-4917-b37d-6ab4a5c02124 · outbound

This paper cites Yaacov, A.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Yaacov, A

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.705473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50af05d1-77cd-4246-bdbd-615706e5b8fb · outbound

This paper cites Yaacov, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Yaacov, G

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.735032Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96696658-0416-4667-9abe-fc59e51f6690 · outbound

This paper cites Yerushalmi, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Yerushalmi, G

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.760640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cf43fbf-90dc-44e1-bb78-e576b316872d · outbound

This paper cites Yerushalmi, G.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Yerushalmi, G

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:10.802910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76f897d9-fff2-4aad-aa15-0089505c0093 · outbound

This paper cites an unresolved cited work.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability Unresolved cited work

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.338042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bae1880-129c-4205-b249-58287dd04432 · outbound

This paper cites SCP)149 (2017), 15–27.

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability SCP)149 (2017), 15–27

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-04T19:35:09.127621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.