{"as_of":"2026-08-10T10:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3002038ae4d24daabc4a15905f09ef1dd60fbc3109977001d2b297c2197681c8","coverage":[{"denominator":11,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T20:34:06.852865Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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-08-04T19:08:20.450888Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.08524","snapshot_observed_at":"2026-08-04T19:08:20.450888Z","title":"Autostub: Genetic programming-based stub creation for symbolic execution.arXiv preprint arXiv:2509.08524, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09488","last_updated":"2025-09-11T14:21:59Z","snapshot_observed_at":"2026-08-06T10:00:20.567423Z","submitted_at":"2025-09-11T14:21:59Z","title":"Prompt Pirates Need a Map: Stealing Seeds helps Stealing Prompts","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T19:08:20.450888Z"},"links":{"cited_paper":"/paper/2509.08524","citing_paper":"/paper/2509.09488"},"observation_digest":"sha256:1af1e80b4fbf5e94dc75e9a294f0bc6b909cc03e1e9d2d333879619f07802097","observation_id":"719a4a6c-029d-44e1-a132-eaa4240da56b","resolution":{"observed_at":"2026-08-04T19:08:20.450888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2509.08524/citation-record","integrity":"/paper/2509.08524/integrity","json":"/paper/2509.08524/citation-record.json","paper":"/paper/2509.08524"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:34:05.431174Z","title":"A survey of symbolic execution techniques","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:05.431174Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:441d5c3275a9a0c7150e2ad2108d744e8a44a067cf27c468bf0a34d30a743d6a","observation_id":"4f384fd8-50bd-47d1-8531-c9eef4a88989","resolution":{"observed_at":"2026-08-04T20:34:05.431174Z","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-04T20:34:05.538919Z","title":"The smt-lib standard: Version 2.0","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:05.538919Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:0cc700f8ec1d07302b8acd18209f5aacc014c247cbfd7d3849878c813a94959d","observation_id":"01a2f589-6221-48d3-9846-22d7436201a0","resolution":{"observed_at":"2026-08-04T20:34:05.538919Z","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-04T20:34:05.687009Z","title":"Foster, and Armando Solar-Lezama","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:05.687009Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:491ef3f72c1449fac95cbd5ebdd284cc7513406e23e79a5dd038400c7b0a14c1","observation_id":"3642af28-e539-4818-af30-972ebd41e0a4","resolution":{"observed_at":"2026-08-04T20:34:05.687009Z","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-04T20:34:05.778038Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:05.778038Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:461f71c9383bec48bcc3f4940220e4232e6d2892067af2f3f84feaf7fd84606f","observation_id":"31b8bb5e-970b-4075-bfd6-b7bfd80b3c63","resolution":{"observed_at":"2026-08-04T20:34:05.778038Z","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-04T20:34:05.918705Z","title":"SW AT: modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:05.918705Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:64db0cc9ab2a2276c23691a7c47bc2b221310b384dcc43945789a1956272a397","observation_id":"80a7079c-798b-4c8d-8124-fd72356b8432","resolution":{"observed_at":"2026-08-04T20:34:05.918705Z","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-04T20:34:06.042123Z","title":"Symbolic execution with existential second-order con- straints","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:06.042123Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:940765e20caf461896225cb96661ca403a961af6a3606b25f01da0db45b51922","observation_id":"761b279c-1ae4-4b84-9100-9b578df35610","resolution":{"observed_at":"2026-08-04T20:34:06.042123Z","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-04T20:34:06.217807Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:06.217807Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:bc62129c11825d85663f4d54029a2fba3aaca4823baab8c36e52164f465acb00","observation_id":"1e302bb8-451d-4284-be15-1cbdb6d209b1","resolution":{"observed_at":"2026-08-04T20:34:06.217807Z","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-04T20:34:06.399578Z","title":"java.lang (Java SE 17 & JDK 17)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:06.399578Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:251fb20499eef482312ada90168ef18004f2465138a37009c04a79431ee72ea3","observation_id":"370424cf-91a5-44e1-97ec-1024db8e8b7f","resolution":{"observed_at":"2026-08-04T20:34:06.399578Z","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-04T20:34:06.545424Z","title":"Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, and Abhik Roychoudhury","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:06.545424Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:960005f55f63af6dd25594212e5692a85465e3f44de44db5512bc4376c15c6be","observation_id":"ceb3453b-a095-4968-a2ea-127ce57359b1","resolution":{"observed_at":"2026-08-04T20:34:06.545424Z","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-04T20:34:06.745524Z","title":"Grammatically-based genetic programming","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:06.745524Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:865dd12b4bdc99433fb45d46ea1ed67c7e9cedede57db68605fe555a51bd1ce9","observation_id":"0fcfd36d-b3bf-4bee-a0bb-85ab33fd06e2","resolution":{"observed_at":"2026-08-04T20:34:06.745524Z","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-04T20:34:06.852865Z","title":"Automatic model generation from documentation for java API functions","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T20:34:06.852865Z"},"links":{"citing_paper":"/paper/2509.08524"},"observation_digest":"sha256:ad560c6f055d2465c903a41ab31b1bbe6c9ad01de9acdf34be1efc236f08f8ab","observation_id":"c8a815b2-b514-4bfb-b7a7-dd51005187d5","resolution":{"observed_at":"2026-08-04T20:34:06.852865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.08524","last_updated":"2025-09-10T12:08:59Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T14:37:58.203466Z","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":11},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2509.08524."}