Paper Citation Record · LEDGER

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling

As of 16 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2507.18289.

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

pith.paper-citation-record.v1
2507.18289 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T18:21:41.604969Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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-22T08:18:29.016581Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-22T08:21:16.932153Z

Reference resolution

37 of 37 outbound references displayed

verified exact0
verified fuzzy1
unresolved35
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 54e1d6a9-2205-4a35-9910-b4b7da0c351e · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.266179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3867857e-0b1f-408e-bec4-3f5455347fcf · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.254104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 542adaae-dba1-4941-a5e5-381bb005b0ba · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.472296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb9dd8a8-e3c7-4d75-944f-94d064f1a6ad · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.476484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ef18721-0d8f-412b-baf1-5880e1330430 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.233070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6fb3d967-194f-4a8d-9d33-124df8399e31 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.221431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation dbd57f2f-d177-48c4-9c56-5873258acd12 · outbound

This paper cites Introduction to Online Convex Optimization.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Introduction to Online Convex Optimization

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.489445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 262c2ca6-83d8-4b39-b27d-f0f525936587 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.207329Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 313b87d2-92e5-440b-84cc-05467e9d1f49 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.192942Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f917aa8d-6b59-40d6-8d8c-8a9f7efd45b6 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.181149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation dfb4826e-8b14-4e80-8a99-5e0412de502e · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.169913Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c1f289f0-070f-4dd4-98e2-9115f536939d · outbound

This paper cites A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.511511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01392e42-71c7-47ec-82e5-cb12c7ba61a3 · outbound

This paper cites Explainable Automated Debugging via Large Language Model-driven Scientific Debugging.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Explainable Automated Debugging via Large Language Model-driven Scientific Debugging

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.515949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e966f55f-9a79-44ae-a83e-2eed7ed3f555 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.156613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 057f55f8-03ee-4c4c-b57c-228423f83863 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.142667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b0881960-f7e5-4d7b-b281-cffbb6bee220 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.528679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 763c20ab-cc30-48f4-83df-3628f9a9c2d1 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.533042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fbe838e-1d55-4d3f-b895-8ef9a5a94f8a · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.537439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 496f4a04-a3f0-445a-8d50-3adf5a01f58c · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.541362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0815cfa-8111-48f5-8546-19282135312e · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.106360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 71c12a0e-136d-499e-91d5-72f386f1d99f · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.091302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 74f75486-1a0b-48b7-b5cd-eceec3f6ada0 · outbound

This paper cites DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.552991Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cadbb5d-f9ad-45b9-940e-dc5b2d857f72 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.557020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e981c59c-95ec-4ade-8696-3100f07cc001 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.073645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a314f6f8-cbed-424f-885c-d94944107aa6 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.063561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4085a40e-d626-450a-9f14-cf69100e9d01 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.051920Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2fc49516-c942-4cb2-a387-fc4d8c697ae0 · outbound

This paper cites A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.569100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95529684-a73e-4335-af83-1c52c56735d6 · outbound

This paper cites Can Large Language Models Write Good Property-Based Tests?.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Can Large Language Models Write Good Property-Based Tests?

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.572676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbff276f-81d6-41e5-827d-db90caf02b03 · outbound

This paper cites SWI-Prolog.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling SWI-Prolog

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.576209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e980da4-ab5e-4e69-a1ed-934c64be349b · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.579443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 308b66d0-8ddf-4979-ba58-25ae83761eae · outbound

This paper cites ChatUniTest: A Framework for LLM-Based Test Generation.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling ChatUniTest: A Framework for LLM-Based Test Generation

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.582585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 641a6a31-4b92-4814-b084-220c10aa056f · outbound

This paper cites CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.585742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9db37f02-d9b4-41e6-b048-dfa1dd2408e5 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:21:42.032955Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d1b94f4d-1b48-4159-9cec-34775c26a313 · outbound

This paper cites 2021.{APICraft}: Fuzz driver generation for closed-source{SDK} libraries.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling 2021.{APICraft}: Fuzz driver generation for closed-source{SDK} libraries

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:21:42.020500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f4578305-4453-427f-9c08-e6c64b3c7ed8 · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.596947Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5c3d255-0cd7-4c18-b39e-ca693dc366da · outbound

This paper cites an unresolved cited work.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T18:21:41.601123Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06be6447-744a-4bce-bd17-a03607e0372a · outbound

This paper cites Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models.

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models

Reference 37

Resolution: malformed identifier; no resolver link, observed 2026-08-15T18:21:41.604969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 16c54185-d357-461e-a605-58d31cd7265a · inbound

Quality-Assured Fuzz Harness Generation via the Four Principles Framework cites this paper.

Quality-Assured Fuzz Harness Generation via the Four Principles Framework Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-22T08:21:16.934928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.