{"as_of":"2026-08-16T22:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c68715233a1c2f55404e7c52d2bbaf5f413540faf6c4d5d57371617aa57957fc","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T18:21:41.604969Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-22T08:18:29.016581Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-22T08:21:16.932153Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"cited_work":{"arxiv_id":"2507.18289","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.18289","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8714fd83-d8e8-4e89-9e47-a07fa9296082","year":2025},"citing_paper":{"arxiv_id":"2605.21824","last_updated":"2026-05-20T23:48:26Z","snapshot_observed_at":"2026-08-14T14:51:54.870737Z","submitted_at":"2026-05-20T23:48:26Z","title":"Quality-Assured Fuzz Harness Generation via the Four Principles Framework","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-22T08:18:29.016581Z"},"links":{"cited_paper":"/paper/2507.18289","citing_paper":"/paper/2605.21824"},"observation_digest":"sha256:b9c350d4d32812a870116a434092c19483cae2ed35c5349b89766f13ce896a04","observation_id":"16c54185-d357-461e-a605-58d31cd7265a","resolution":{"observed_at":"2026-05-22T08:21:16.934928Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.18289/citation-record","integrity":"/paper/2507.18289/integrity","json":"/paper/2507.18289/citation-record.json","paper":"/paper/2507.18289"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.262255Z","title":null,"venue":null,"work_id":"ffb36b21-8903-41ce-8089-26356a553385","year":2019},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.461116Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:b9dc304c6399e07e96b22365cf291337f125741ccdfc99eceafc5c296a0ffc54","observation_id":"54e1d6a9-2205-4a35-9910-b4b7da0c351e","resolution":{"observed_at":"2026-08-15T18:21:42.266179Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.249238Z","title":null,"venue":null,"work_id":"b59a5433-298e-40e2-9c8c-c9ab17f45e3c","year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.468136Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:d0596124c3a5f074ecaf178712ac9e86a3a74a0f471868faeff70c3024c70c16","observation_id":"3867857e-0b1f-408e-bec4-3f5455347fcf","resolution":{"observed_at":"2026-08-15T18:21:42.254104Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.472296Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.472296Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:2db2d3f78c22d31890df2113c981c68f531f612f47da2fbc7f4c888fe7ed2bac","observation_id":"542adaae-dba1-4941-a5e5-381bb005b0ba","resolution":{"observed_at":"2026-08-15T18:21:41.472296Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.476484Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.476484Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:aadd67285ccd68ae7fd21d5c172cbd42a5570f5edcaf6f3475cd76530c0a0279","observation_id":"eb9dd8a8-e3c7-4d75-944f-94d064f1a6ad","resolution":{"observed_at":"2026-08-15T18:21:41.476484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.229936Z","title":null,"venue":null,"work_id":"13713284-d94d-435e-9499-264b6accb26c","year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.480484Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:7f4bf0744acac1f101c3a8213d2e93dbdba2481787cbff761a6263cc0263d1cb","observation_id":"8ef18721-0d8f-412b-baf1-5880e1330430","resolution":{"observed_at":"2026-08-15T18:21:42.233070Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.217170Z","title":null,"venue":null,"work_id":"72378599-5c9f-465b-850b-f8394a12d593","year":2022},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.484520Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:b01faeae917476ea63a796a3909f46e81e1c3b34f16a85ce7d3dd72e9cd0b926","observation_id":"6fb3d967-194f-4a8d-9d33-124df8399e31","resolution":{"observed_at":"2026-08-15T18:21:42.221431Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1909.05207","last_updated":"2023-08-06T14:24:26Z","snapshot_observed_at":"2026-08-14T19:15:36.367708Z","submitted_at":"2019-09-07T19:06:23Z","title":"Introduction to Online Convex Optimization","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.05207","snapshot_observed_at":"2026-08-15T18:21:41.489445Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.489445Z"},"links":{"cited_paper":"/paper/1909.05207","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:4001f38025a7b516cdc37d2e6cbae7fdfdb69ac0f97e12de0e7252ed7cce3bc3","observation_id":"dbd57f2f-d177-48c4-9c56-5873258acd12","resolution":{"observed_at":"2026-08-15T18:21:41.489445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.201478Z","title":null,"venue":null,"work_id":"b10dc857-0c07-436b-aa3f-e38f7053dcbe","year":2020},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.494041Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:1279bc607ddc111c690acce772531dab6cb51b1cfd38a80523129a58faec36cf","observation_id":"262c2ca6-83d8-4b39-b27d-f0f525936587","resolution":{"observed_at":"2026-08-15T18:21:42.207329Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.189372Z","title":null,"venue":null,"work_id":"ba85cc2a-9c51-4931-b67f-359f1cd28440","year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.498911Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:a76e3120912b80ba3c7fe989e0ca0ecda585f01b33f6111979ff9b97b66019c9","observation_id":"313b87d2-92e5-440b-84cc-05467e9d1f49","resolution":{"observed_at":"2026-08-15T18:21:42.192942Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.177055Z","title":null,"venue":null,"work_id":"957e3f70-5a79-4771-b0b6-fa165fd9e463","year":2021},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.503269Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:a12326b8c9abcca52356814fb31688d1e587ea60e743c769b486da5ae3979d9d","observation_id":"f917aa8d-6b59-40d6-8d8c-8a9f7efd45b6","resolution":{"observed_at":"2026-08-15T18:21:42.181149Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.166318Z","title":null,"venue":null,"work_id":"61c3ee37-8bbe-461a-b255-8ce4199a66ef","year":2021},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.507404Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:3630db22537aef83da2562239249980de11381df370929b5e573892704c8165a","observation_id":"dfb4826e-8b14-4e80-8a99-5e0412de502e","resolution":{"observed_at":"2026-08-15T18:21:42.169913Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.05487","last_updated":"2024-07-02T13:25:16Z","snapshot_observed_at":"2026-08-16T15:09:25.350144Z","submitted_at":"2023-08-10T10:26:55Z","title":"A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.05487","snapshot_observed_at":"2026-08-15T18:21:41.511511Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.511511Z"},"links":{"cited_paper":"/paper/2308.05487","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:2caad20a4c4464816c146e02f634910b3eccab4c8a752dc2ccc7d4682cbe0a1e","observation_id":"c1f289f0-070f-4dd4-98e2-9115f536939d","resolution":{"observed_at":"2026-08-15T18:21:41.511511Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.02195","last_updated":"2023-04-05T02:34:10Z","snapshot_observed_at":"2026-08-16T15:42:40.505328Z","submitted_at":"2023-04-05T02:34:10Z","title":"Explainable Automated Debugging via Large Language Model-driven Scientific Debugging","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.02195","snapshot_observed_at":"2026-08-15T18:21:41.515949Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.515949Z"},"links":{"cited_paper":"/paper/2304.02195","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:63fab05de843876734e1fbd98e699d2fced424ee7026eadf9a2983a85d3ffb45","observation_id":"01392e42-71c7-47ec-82e5-cb12c7ba61a3","resolution":{"observed_at":"2026-08-15T18:21:41.515949Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.151652Z","title":null,"venue":null,"work_id":"f6a01a52-1761-4bb5-9221-368c9bf2472a","year":2018},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.520166Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:e3debf0080070a96119fec09c197950eadb20e944aa775d3da53ef8f84fc8ae0","observation_id":"e966f55f-9a79-44ae-a83e-2eed7ed3f555","resolution":{"observed_at":"2026-08-15T18:21:42.156613Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.137739Z","title":null,"venue":null,"work_id":"37d8f279-2543-4a89-9581-2ca98877367d","year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.524471Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:df8555866cf6f1724865c6b47cedb9328589e51adb26573d60df0580e94ba536","observation_id":"057f55f8-03ee-4c4c-b57c-228423f83863","resolution":{"observed_at":"2026-08-15T18:21:42.142667Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.528679Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.528679Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:105165502e2662a2f23ee4abccb3f6b492f7d62ff4e4767f8f1e0a21319fa045","observation_id":"b0881960-f7e5-4d7b-b281-cffbb6bee220","resolution":{"observed_at":"2026-08-15T18:21:41.528679Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.533042Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.533042Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:0093bd8c72e76de16432ce95fce6b0c62ab72d2fcf3ccbc03f645e57e28f977f","observation_id":"763c20ab-cc30-48f4-83df-3628f9a9c2d1","resolution":{"observed_at":"2026-08-15T18:21:41.533042Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.537439Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.537439Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:6972d18f077bb72bb048e0bcda07d9fbc2a029ccc8126b7f759ab793ac7ac74a","observation_id":"5fbe838e-1d55-4d3f-b895-8ef9a5a94f8a","resolution":{"observed_at":"2026-08-15T18:21:41.537439Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.541362Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.541362Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:ec84d57d47d08d5fb8ea95e0ba425874cb4d406c361e6980ef3472f7b5251e8a","observation_id":"496f4a04-a3f0-445a-8d50-3adf5a01f58c","resolution":{"observed_at":"2026-08-15T18:21:41.541362Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.100662Z","title":null,"venue":null,"work_id":"ab0191af-8392-404b-af99-11b7687e01b2","year":2016},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.545360Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:a9a7764135000177706f24a3cafc3f3119502e58994908e37b1bb4eab8c085ee","observation_id":"b0815cfa-8111-48f5-8546-19282135312e","resolution":{"observed_at":"2026-08-15T18:21:42.106360Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.087311Z","title":null,"venue":null,"work_id":"c2cd43d4-0d40-480b-ad5c-1e200efb5a15","year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.549208Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:d8640cde78020d1856e7c02c6bbd8039bf3109d5d820389e97434061f19e609c","observation_id":"71c12a0e-136d-499e-91d5-72f386f1d99f","resolution":{"observed_at":"2026-08-15T18:21:42.091302Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.06932","last_updated":"2023-08-14T04:21:10Z","snapshot_observed_at":"2026-08-16T15:08:45.056928Z","submitted_at":"2023-08-14T04:21:10Z","title":"DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.06932","snapshot_observed_at":"2026-08-15T18:21:41.552991Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.552991Z"},"links":{"cited_paper":"/paper/2308.06932","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:6b1936741c43a47a8c51553a831beb00b164cc2df11b8fb24f1c10bf3de9af9b","observation_id":"74f75486-1a0b-48b7-b5cd-eceec3f6ada0","resolution":{"observed_at":"2026-08-15T18:21:41.552991Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.557020Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.557020Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:a1228bc0ed3a8d18780984ced7355d70595af85671dbd6e911e533a52e03e26b","observation_id":"3cadbb5d-f9ad-45b9-940e-dc5b2d857f72","resolution":{"observed_at":"2026-08-15T18:21:41.557020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.070534Z","title":null,"venue":null,"work_id":"7af93fbc-5df3-45b3-ba55-58655733bc36","year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.559967Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:488fcde2eebc75b1b945b034d751350d4418f997d5f77c28f91fe5d1c1c45e91","observation_id":"e981c59c-95ec-4ade-8696-3100f07cc001","resolution":{"observed_at":"2026-08-15T18:21:42.073645Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.059746Z","title":null,"venue":null,"work_id":"dacd8003-cb97-46dc-b0b9-df953112bef1","year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.563177Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:422eb3a6162749bad6b42645b5dba693228a81d3357e074afbc4c3ee0d5abf6d","observation_id":"a314f6f8-cbed-424f-885c-d94944107aa6","resolution":{"observed_at":"2026-08-15T18:21:42.063561Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.048154Z","title":null,"venue":null,"work_id":"7609d401-3589-4aa0-99c7-d4b90162c5fc","year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.566080Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:3085bd199082417f52905c5455c155ee3449730efb5ec5dce2e4ee1fec9ed487","observation_id":"4085a40e-d626-450a-9f14-cf69100e9d01","resolution":{"observed_at":"2026-08-15T18:21:42.051920Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.01313","last_updated":"2024-01-08T16:19:17Z","snapshot_observed_at":"2026-08-15T22:25:16.598230Z","submitted_at":"2024-01-02T17:56:30Z","title":"A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.01313","snapshot_observed_at":"2026-08-15T18:21:41.569100Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.569100Z"},"links":{"cited_paper":"/paper/2401.01313","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:c3a5d552d53b0cbe7c6fa2f6a008fd49d025dced586e9dffb840748afe33449d","observation_id":"2fc49516-c942-4cb2-a387-fc4d8c697ae0","resolution":{"observed_at":"2026-08-15T18:21:41.569100Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-16T15:17:33.987832Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-08-15T18:21:41.572676Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.572676Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:a0e7afe571a6ec81d38fa5c002c1ae982e98ae91699a890d3368c68cd7e39bd2","observation_id":"95529684-a73e-4335-af83-1c52c56735d6","resolution":{"observed_at":"2026-08-15T18:21:41.572676Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1011.5332","last_updated":"2010-11-24T10:28:56Z","snapshot_observed_at":"2026-08-15T05:02:07.333149Z","submitted_at":"2010-11-24T10:28:56Z","title":"SWI-Prolog","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1011.5332","snapshot_observed_at":"2026-08-15T18:21:41.576209Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.576209Z"},"links":{"cited_paper":"/paper/1011.5332","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:d6bdd2257fe74d0c9d98b8579228e6307bcf477b523eed58cca497180113e78b","observation_id":"dbff276f-81d6-41e5-827d-db90caf02b03","resolution":{"observed_at":"2026-08-15T18:21:41.576209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.579443Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.579443Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:4d0ecb628090e013e03ed50ca8bb40faee9dba40fe199467237b4149e371d766","observation_id":"2e980da4-ab5e-4e69-a1ed-934c64be349b","resolution":{"observed_at":"2026-08-15T18:21:41.579443Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.04764","last_updated":"2024-05-07T09:08:13Z","snapshot_observed_at":"2026-08-16T15:34:45.655305Z","submitted_at":"2023-05-08T15:12:07Z","title":"ChatUniTest: A Framework for LLM-Based Test Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.04764","snapshot_observed_at":"2026-08-15T18:21:41.582585Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.582585Z"},"links":{"cited_paper":"/paper/2305.04764","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:565747f2c4c200cedf54b32df94a421d10cd0d9e2f919806ccedcf4f21e3a941","observation_id":"308b66d0-8ddf-4979-ba58-25ae83761eae","resolution":{"observed_at":"2026-08-15T18:21:41.582585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.11532","last_updated":"2024-12-20T11:25:59Z","snapshot_observed_at":"2026-08-12T18:22:03.915425Z","submitted_at":"2024-11-18T12:41:16Z","title":"CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.11532","snapshot_observed_at":"2026-08-15T18:21:41.585742Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.585742Z"},"links":{"cited_paper":"/paper/2411.11532","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:c6ef61319749e60a9d1ab03e56ed24fe447ae24d5ae855b1b90ad942bd5ebd1a","observation_id":"641a6a31-4b92-4814-b084-220c10aa056f","resolution":{"observed_at":"2026-08-15T18:21:41.585742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.028523Z","title":null,"venue":null,"work_id":"9100ee00-bdf4-4e82-934f-5f4e38970747","year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.589705Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:147bf075ae09c0d5103ace362642286d453fbcca82b2ee73afe6e8c3ac0c00fb","observation_id":"9db37f02-d9b4-41e6-b048-dfa1dd2408e5","resolution":{"observed_at":"2026-08-15T18:21:42.032955Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:42.013337Z","title":"2021.{APICraft}: Fuzz driver generation for closed-source{SDK} libraries","venue":null,"work_id":"64a6f4c2-b774-41d4-9858-b3afa7c7f6cb","year":2021},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.593388Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:fed7916125f96282d19c32c2720e416f6ac3530f1002aaaa084e9c90cd5f59b8","observation_id":"d1b94f4d-1b48-4159-9cec-34775c26a313","resolution":{"observed_at":"2026-08-15T18:21:42.020500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.596947Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.596947Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:6d6130c1e94bbd3d188d4a40ef5436f01e6ee0c941d338d4ca8ff43fd83d612c","observation_id":"f4578305-4453-427f-9c08-e6c64b3c7ed8","resolution":{"observed_at":"2026-08-15T18:21:41.596947Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T18:21:41.601123Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.601123Z"},"links":{"citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:2b8d6cda4a260dcaba26be1a2c199491f57b618641ae585d4e5e666bbe9e2d84","observation_id":"a5c3d255-0cd7-4c18-b39e-ca693dc366da","resolution":{"observed_at":"2026-08-15T18:21:41.601123Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.01219","last_updated":"2025-09-14T09:34:46Z","snapshot_observed_at":"2026-08-16T12:38:46.158503Z","submitted_at":"2023-09-03T16:56:48Z","title":"Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.01219","snapshot_observed_at":"2026-08-15T18:21:41.604969Z","title":"error: no matching function for call to '([^']*)'","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T18:21:41.604969Z"},"links":{"cited_paper":"/paper/2309.01219","citing_paper":"/paper/2507.18289"},"observation_digest":"sha256:71cbcf1014455b444f2efdce27536dd3752385beb6c9676c7edd57f314a88889","observation_id":"06be6447-744a-4bce-bd17-a03607e0372a","resolution":{"observed_at":"2026-08-15T18:21:41.604969Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.18289","last_updated":"2025-07-24T10:51:11Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-15T22:25:54.631324Z","submitted_at":"2025-07-24T10:51:11Z","title":"Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":35,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":37},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"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."}