Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T15:50:37.990867Z
Paper Citation Record · LEDGER
As of 8 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 1 inbound Pith citation observation for arXiv:2507.15892.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T15:50:37.990867Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-15T05:15:57.846560Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-15T05:19:46.486658Z
50 of 50 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 6c43b9d8-96d2-4249-98bd-eda461f8dd37 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers GPT-4 Technical Report
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f065e01f-c267-472f-8747-dc5c18957106 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Program Synthesis with Large Language Models
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b8aab02-ddd3-4fc5-8ee5-bca1f9433514 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers A Deep Dive Into Large Language Model Code Generation Mistakes: What and Why?
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f4a26e47-dba7-459a-861f-93ecec154ea7 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Increasing Diversity While Maintaining Accuracy: Text Data Generation with Large Language Models and Human Interventions
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0914484d-f36f-4d5f-a52b-ccddacd51cf4 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 5
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.
Observation cc4e393f-d652-48fb-85af-6357f9308960 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 6
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.
Observation 2d8e1758-cba8-4eab-b298-78bcc9a112d0 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 7
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.
Observation 950e3fae-4f49-488e-b094-28858f26c779 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 8
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.
Observation 1e4f2b0f-ee12-4f6a-a847-34bfa58595e5 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 9
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.
Observation b5544518-cb51-4740-9e66-6c2232f4f6ed · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 10
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.
Observation 7a68f283-cdc7-4903-a234-dbdc94229549 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 11
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.
Observation 5639fb01-b371-40e9-a499-8313285942b5 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a88a948a-57b3-484a-be8f-053e6f9eb024 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 13
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.
Observation bd8e21c9-1a74-4a12-845e-bc59024a44dd · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Qwen2.5-Coder Technical Report
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 71116cf8-70d5-4484-8e85-987caa998d69 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Mistral 7B
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e70737c-4fd1-4e30-bc11-edb40fd83630 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 493aee11-708d-45ec-94dd-936ffabfae9b · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 17
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.
Observation b7ec9fe8-e120-45fb-965a-3e503e89f6e1 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 18
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.
Observation c2109f96-7975-410c-8223-7b544fe2e2d6 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
Reference 19
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.
Observation bd07e340-61ed-4e3b-a8b4-abdf855da530 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 20
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.
Observation 7e6faf03-bbee-4ac9-93ca-9f4661466e04 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e77c0ea-1796-4f21-a6a5-65b116f4353f · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers On LLMs-Driven Synthetic Data Generation, Curation, and Evaluation: A Survey
Reference 22
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98b0428e-4e81-4f37-b53b-c477ec6e22c3 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d95de922-5f87-4435-8c53-27f244c7745e · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation faad9a03-cdb3-405c-ab95-d7fb70c396e9 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 25
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.
Observation 89b2e0ba-8550-41c3-94cf-56fd7dd19495 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 26
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2f267f60-5e82-4c59-a103-079c832f04ab · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 27
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.
Observation 3cf029d1-20ae-48ae-b082-a9a19a6dd88b · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 28
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.
Observation b4408629-61d1-41a2-8b4c-767218324268 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 29
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.
Observation bc5a3416-b917-45da-adec-9fedf767904d · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 30
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.
Observation 89d1e385-0fd3-4343-bef8-068e7224bb77 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 31
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.
Observation e7136475-ead0-4d46-8d7c-a080b72c93ca · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 32
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.
Observation 377e084b-44f3-4513-aa45-529fc45b2127 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Code Llama: Open Foundation Models for Code
Reference 33
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0c69dc8-5820-474c-8246-324630c463b1 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 34
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.
Observation 3887a33b-da04-43ba-b774-7e86d645b4d7 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 35
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.
Observation 9ece788a-ea8b-451a-8aaf-0fe9f48a4b1d · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 36
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.
Observation 67b7f91b-fa73-4495-8a24-e20e8e97290f · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 37
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.
Observation 3c4ec389-6d76-418f-945a-df74b719cdd8 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 38
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.
Observation f1a1a54c-d243-4a96-a263-c4a94f667ebd · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 39
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.
Observation bc7298a1-0cd3-43f3-a672-fac1de6dfb6f · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 40
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.
Observation fc18e0be-84d9-40fe-ad59-d7e4a118fd65 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Planning In Natural Language Improves LLM Search For Code Generation
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 44302e36-cefa-4091-a241-4d2ab5d71851 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 42
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.
Observation 20ed2c28-203c-4ec4-8f42-c7b9330635a8 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 43
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.
Observation f789919d-ef23-4322-ae1e-da52ce545942 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Progress or Regress? Self-Improvement Reversal in Post-training
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 87d275a4-3553-43c8-8cd0-c3529bc0387c · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers LLM-powered Data Augmentation for Enhanced Cross-lingual Performance
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90d7fc23-d23f-480c-ab34-d279c5173976 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 46
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.
Observation 5be9fc17-d3e2-435c-a0d1-26f2614cdb47 · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 47
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.
Observation c44850a5-288a-4a8f-9f8d-25dafdd8698f · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 48
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.
Observation b047017f-4416-4453-867a-78848dceafff · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work
Reference 49
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.
Observation dfdadb5d-338e-4f29-89f1-5ada9603466f · outbound
StaAgent: An Agentic Framework for Testing Static Analyzers In-Context Learning for Preserving Patient Privacy: A Framework for Synthesizing Realistic Patient Portal Messages
Reference 2024
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.
Observation 98af3acf-5c3a-4deb-9fe3-25f040696ad3 · inbound
Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey StaAgent: An Agentic Framework for Testing Static Analyzers
Reference 72
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.