Pith. sign in

Paper Citation Record · LEDGER

StaAgent: An Agentic Framework for Testing Static Analyzers

As of 9 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.

pith.paper-citation-record.v1
2507.15892 v1

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T15:50:37.990867Z

measured 51 of 51 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-15T05:15:57.846560Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-15T05:19:46.486658Z

Reference resolution

50 of 50 outbound references displayed

  • verified exact0
  • verified fuzzy1
  • unresolved48
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6c43b9d8-96d2-4249-98bd-eda461f8dd37 · outbound

This paper cites GPT-4 Technical Report.

StaAgent: An Agentic Framework for Testing Static Analyzers GPT-4 Technical Report

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.828292Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.828292Z digest=sha256:9a52647308ee0229f99695ff6cca70469278eb745d555e3a20552496ba738680

Observation f065e01f-c267-472f-8747-dc5c18957106 · outbound

This paper cites Program Synthesis with Large Language Models.

StaAgent: An Agentic Framework for Testing Static Analyzers Program Synthesis with Large Language Models

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.832532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.832532Z digest=sha256:98e8ecba99897d4e0cf6fc33416e4cd13f530dbbe8f3d05143df86f59a9ab461

Observation 7b8aab02-ddd3-4fc5-8ee5-bca1f9433514 · outbound

This paper cites A Deep Dive Into Large Language Model Code Generation Mistakes: What and Why?.

StaAgent: An Agentic Framework for Testing Static Analyzers A Deep Dive Into Large Language Model Code Generation Mistakes: What and Why?

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.836305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.836305Z digest=sha256:f09be2acb6c7bbe7b1e4e63f9fc301ae557886712c57c398386056ffa605e280

Observation f4a26e47-dba7-459a-861f-93ecec154ea7 · outbound

This paper cites Increasing Diversity While Maintaining Accuracy: Text Data Generation with Large Language Models and Human Interventions.

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

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.839923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.839923Z digest=sha256:6d2c27e6ee93d07884173c6834fdb5991cd16a8f7eb3e40ddbaaec1b44cdfef9

Observation 0914484d-f36f-4d5f-a52b-ccddacd51cf4 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.625608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.844112Z digest=sha256:48306ba81e1a95a2f11a0c6a7a89bf19434a9545dda6c4461255e7325c36d8cd

Observation cc4e393f-d652-48fb-85af-6357f9308960 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.614750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.847954Z digest=sha256:05cb46dd2b59ef8c2b2874180c70afc19637cf0540980cb5c00603d154b1ca95

Observation 2d8e1758-cba8-4eab-b298-78bcc9a112d0 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.604301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.852121Z digest=sha256:17f3b441e87ae729ef340459ba55f9331d588879f9cf5193f6869a865022336f

Observation 950e3fae-4f49-488e-b094-28858f26c779 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.593613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.855347Z digest=sha256:807a123070be5e84e5588bfcb732ea6433a82071921d3ee45854cfb87d368faa

Observation 1e4f2b0f-ee12-4f6a-a847-34bfa58595e5 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.582482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.858480Z digest=sha256:adb3f63423287be7c7939d315ff9971df02be25d63d81240be18f8717c3e20e8

Observation b5544518-cb51-4740-9e66-6c2232f4f6ed · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.571536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.865616Z digest=sha256:ee9d16d7140558945bfb57b3e6c434c072538ffd28d70082c1c03852eed15c73

Observation 7a68f283-cdc7-4903-a234-dbdc94229549 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.559825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.868908Z digest=sha256:49a74f38aee48d51f45f31dc7164751059c4d8270b7636e3fa7cee5f18aee1be

Observation 5639fb01-b371-40e9-a499-8313285942b5 · outbound

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

StaAgent: An Agentic Framework for Testing Static Analyzers DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.872603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.872603Z digest=sha256:dd6ce3a960eeb0e84714a99d40d30b882cb2e80ecc33aca876fe1d0533bae30d

Observation a88a948a-57b3-484a-be8f-053e6f9eb024 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.548706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.875895Z digest=sha256:13fdc2d27e9ad5204b75f651ce811dcbf1a01622d32ded33d3a16716a8e4a101

Observation bd8e21c9-1a74-4a12-845e-bc59024a44dd · outbound

This paper cites Qwen2.5-Coder Technical Report.

StaAgent: An Agentic Framework for Testing Static Analyzers Qwen2.5-Coder Technical Report

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.879131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.879131Z digest=sha256:7f114f087433b51cd0e1d3af12bd3c493d21158201ee317dd07914c010d1823c

Observation 71116cf8-70d5-4484-8e85-987caa998d69 · outbound

This paper cites Mistral 7B.

StaAgent: An Agentic Framework for Testing Static Analyzers Mistral 7B

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.882475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.882475Z digest=sha256:a66e1be85bb2913fef4f4fdbf85870a314679b1e009d3711625e3a48d4de0765

Observation 6e70737c-4fd1-4e30-bc11-edb40fd83630 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.885911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.885911Z digest=sha256:baea597b2aa9bd83faf7d612ae0b17770ceb803ed5eee6451f71444f4a03c383

Observation 493aee11-708d-45ec-94dd-936ffabfae9b · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.537728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.888992Z digest=sha256:7f6875d56dd015418b51cc483b6935e55a56618aedf522610337c7339af09271

Observation b7ec9fe8-e120-45fb-965a-3e503e89f6e1 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.515420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.895633Z digest=sha256:a5df4a18b37f42fa50b37430941b925f49a5ed1b6a754ba81cd328e04d882e60

Observation c2109f96-7975-410c-8223-7b544fe2e2d6 · outbound

This paper cites In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering.

StaAgent: An Agentic Framework for Testing Static Analyzers In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T15:50:38.526662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.892091Z digest=sha256:f7ab8fb586403b7df895a5c5f28168795b5fde07805a07d101564dffe8e8eb9b

Observation bd07e340-61ed-4e3b-a8b4-abdf855da530 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.496745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.901947Z digest=sha256:d81381a2d72ca2971c9f1c9cad03b41f5b83921a6a3be984d7db892b5fee84a7

Observation 7e6faf03-bbee-4ac9-93ca-9f4661466e04 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.898845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.898845Z digest=sha256:b6c3b7b86d0ee74f3fefb4a52374518cff7d5869bf4a88ee1b69cc90e0016811

Observation 2e77c0ea-1796-4f21-a6a5-65b116f4353f · outbound

This paper cites On LLMs-Driven Synthetic Data Generation, Curation, and Evaluation: A Survey.

StaAgent: An Agentic Framework for Testing Static Analyzers On LLMs-Driven Synthetic Data Generation, Curation, and Evaluation: A Survey

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.908542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.908542Z digest=sha256:96acf8c1601f84967eb94318889c78ec23a7448d354ea0a474baf652c0ad22d7

Observation 98b0428e-4e81-4f37-b53b-c477ec6e22c3 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.905160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.905160Z digest=sha256:fdcb61e16cf049013cc2dc183758057b7f13370bbb7c5535e38e43e01156d4b5

Observation d95de922-5f87-4435-8c53-27f244c7745e · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.914484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.914484Z digest=sha256:21f14c1d55ab4495dfe75dd0eaed2d9c3c3daf6bc3140e066e8258d2acb14404

Observation faad9a03-cdb3-405c-ab95-d7fb70c396e9 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.478088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.911534Z digest=sha256:f72d5c3b2bf4a901b6f68b2a0fc9214d8bfa6e67075636c33d7058d1d828ba72

Observation 89b2e0ba-8550-41c3-94cf-56fd7dd19495 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.920746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.920746Z digest=sha256:a0bc338ed9bad35b7a9515223fdc94e5eb50beadb53550b6f39a6f3eeb72fe8a

Observation 2f267f60-5e82-4c59-a103-079c832f04ab · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.459879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.917673Z digest=sha256:c1d6ab9882f32c1e9ebf8a1ea4f1a39492bbb64c3869c2ec5fc59e78b1a49ff9

Observation 3cf029d1-20ae-48ae-b082-a9a19a6dd88b · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.431136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.926882Z digest=sha256:0c8161239cde85b756aab9b491babbc4f5aaec43ef1c2de66bfb387f2619fe61

Observation b4408629-61d1-41a2-8b4c-767218324268 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.441840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.923809Z digest=sha256:c2cb67ea984effebef90a500e2cca7af361cf0c2ad9e6735be3d1c50dab00609

Observation bc5a3416-b917-45da-adec-9fedf767904d · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.410865Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.933264Z digest=sha256:92fe2b8b9cfab4054e586255778574ce617c5c6cc49cf3ffcae8e1e5cb36e527

Observation 89d1e385-0fd3-4343-bef8-068e7224bb77 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.421071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.929932Z digest=sha256:8eeb88b79af424260a80b225fd36806f299f78cd5806eb3d448bd80da0d04ea0

Observation e7136475-ead0-4d46-8d7c-a080b72c93ca · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.400129Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.939549Z digest=sha256:53ca26bf37721eaecd2fb83758151d4ce3307408d98dc0d2350084f34922a768

Observation 377e084b-44f3-4513-aa45-529fc45b2127 · outbound

This paper cites Code Llama: Open Foundation Models for Code.

StaAgent: An Agentic Framework for Testing Static Analyzers Code Llama: Open Foundation Models for Code

Reference 33

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.936250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.936250Z digest=sha256:9b2f298925d9e3db4bf9d35337d1d74ae684fbce89ddcefed49e46ff8e835a35

Observation c0c69dc8-5820-474c-8246-324630c463b1 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.379427Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.945842Z digest=sha256:52d0d669b604fa3ad9fd2c81676e32c1983c31ad45914d4a06ef328a8eeef0c4

Observation 3887a33b-da04-43ba-b774-7e86d645b4d7 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 35

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.389622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.942654Z digest=sha256:d744d85c44874acd81223739f499cadf66e252f43b04ce5b02f38e2be677ebb7

Observation 9ece788a-ea8b-451a-8aaf-0fe9f48a4b1d · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.357848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.952608Z digest=sha256:9080bcdb9f943d1d42b7c91e94a0d0bf13e5ef6d3ff65d4f7607958e94606774

Observation 67b7f91b-fa73-4495-8a24-e20e8e97290f · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.368641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.949633Z digest=sha256:25bcb2390e864b5cc81d72844317d3c8fc6280898c0b9b0fec9c42d4ad0bb26a

Observation 3c4ec389-6d76-418f-945a-df74b719cdd8 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 38

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.336408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.958812Z digest=sha256:7fc541b28a6af955147b596179c934f2acf69cdd070f8052b8d1eb8f7d6aa8e5

Observation f1a1a54c-d243-4a96-a263-c4a94f667ebd · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 39

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.346923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.955698Z digest=sha256:18f7536032290504455ef6548f05a076e6d02622e6e411c5bdea0a597eade247

Observation bc7298a1-0cd3-43f3-a672-fac1de6dfb6f · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.325930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.965067Z digest=sha256:a14de4a756758516b46826b41644fee304ae2e4d34d254b20b617b2313e7c6c2

Observation fc18e0be-84d9-40fe-ad59-d7e4a118fd65 · outbound

This paper cites Planning In Natural Language Improves LLM Search For Code Generation.

StaAgent: An Agentic Framework for Testing Static Analyzers Planning In Natural Language Improves LLM Search For Code Generation

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.961891Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.961891Z digest=sha256:fd276405c13f9e170e62e9b2e034ffa467d93e01fc1bb84eb69ff2f7fbcab325

Observation 44302e36-cefa-4091-a241-4d2ab5d71851 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.303230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.971767Z digest=sha256:e7e1d20f15d2e1c4b89066a7e8e08981f1860e1f6728ea0ecfdeb7f64a6f5384

Observation 20ed2c28-203c-4ec4-8f42-c7b9330635a8 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 43

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.315129Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.967978Z digest=sha256:3f3e4346a45f021b3fb8b84d327127f42cf50661831d382d56a23e5f510c05e0

Observation f789919d-ef23-4322-ae1e-da52ce545942 · outbound

This paper cites Progress or Regress? Self-Improvement Reversal in Post-training.

StaAgent: An Agentic Framework for Testing Static Analyzers Progress or Regress? Self-Improvement Reversal in Post-training

Reference 44

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.978213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.978213Z digest=sha256:17b5ba0b2b2a961a0406bd3db2243dfcd74e86c96eaeee98bb75f891c6730281

Observation 87d275a4-3553-43c8-8cd0-c3529bc0387c · outbound

This paper cites LLM-powered Data Augmentation for Enhanced Cross-lingual Performance.

StaAgent: An Agentic Framework for Testing Static Analyzers LLM-powered Data Augmentation for Enhanced Cross-lingual Performance

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-06T15:50:37.974914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T15:50:37.974914Z digest=sha256:bc43cc49c888b56913056bfc4f0ba95ae07ae7322d14d8d6d68fbaa01c67f1f2

Observation 90d7fc23-d23f-480c-ab34-d279c5173976 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.281482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.984778Z digest=sha256:fe8f1f23304a1ef91c159b36f1d4a4dc67205d82b41c1734eb4b461a7099c635

Observation 5be9fc17-d3e2-435c-a0d1-26f2614cdb47 · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.292282Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.981819Z digest=sha256:8f4bb0d198f0d16a2e753d618eca49133961dde3c5af485b08da936f2e550840

Observation c44850a5-288a-4a8f-9f8d-25dafdd8698f · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.259740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.990867Z digest=sha256:6e02dcb063c7a6df2c4070b66a412e76ddf0e0c69c88a503453f59d31226eb74

Observation b047017f-4416-4453-867a-78848dceafff · outbound

This paper cites an unresolved cited work.

StaAgent: An Agentic Framework for Testing Static Analyzers Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-06T15:50:38.270468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.987915Z digest=sha256:9d2ce515ca12288a2ef6d91ca10889612cf28e0c0ee1d28e565bdbecd65ac117

Observation dfdadb5d-338e-4f29-89f1-5ada9603466f · outbound

This paper cites In-Context Learning for Preserving Patient Privacy: A Framework for Synthesizing Realistic Patient Portal Messages.

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

Resolution
metadata mismatch
local_arxiv, observed 2026-08-06T15:50:38.201956Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T15:50:37.861827Z digest=sha256:3ba109c70892e7e3a3f4be086585d4b8139ee4107f0745111a0ef4b9102353ba

Pith citing papers

Observation 98af3acf-5c3a-4deb-9fe3-25f040696ad3 · inbound

Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey cites this paper.

Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey StaAgent: An Agentic Framework for Testing Static Analyzers

Reference 72

Resolution
verified exact
arxiv_id, observed 2026-05-15T05:19:46.489998Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-15T05:15:57.846560Z digest=sha256:6b9b71a01b6b523ca836a87a6b7e2ef3ca6e4a1cdc4417a5e6b4bda1817be0b1