{"as_of":"2026-08-17T15:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0b4f7d0f6bdb82839b594cb0d54cbff3d586982001b78c848c5b5f7a003a878c","coverage":[{"denominator":91,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":91,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T10:49:51.193050Z","state":"measured"},{"denominator":91,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":91,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2509.03711/citation-record","integrity":"/paper/2509.03711/integrity","json":"/paper/2509.03711/citation-record.json","paper":"/paper/2509.03711"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:49:50.808133Z","title":"https://github.com/ rockcarry/ffjpeg","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.808133Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:9b5fed607f0e7e1eb0adeae09bb27e1786f4dd0d3f40930dbf9be071cf8383ec","observation_id":"d102354f-005b-4bf0-9546-bebaab8ab05a","resolution":{"observed_at":"2026-08-05T10:49:50.808133Z","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-05T10:49:50.929865Z","title":"Introduction to software testing","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.929865Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:3dfea855ae497ffe2a6f94e90e62f12b501c12e15b26e28ad32602772f4f629a","observation_id":"7e24e65f-0924-4b47-a7f7-213bbb3bfd5c","resolution":{"observed_at":"2026-08-05T10:49:50.929865Z","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-05T10:49:50.933493Z","title":"Restler: Stateful rest api fuzzing","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.933493Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:7fd3c17bfeec839b304aecffc37f706a2144901be2e89606bfe79d9ae87c916d","observation_id":"8540e07e-84c8-4bde-a21c-682b89e279ba","resolution":{"observed_at":"2026-08-05T10:49:50.933493Z","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-05T10:49:50.937308Z","title":"The smt-lib standard: Version 2.0","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.937308Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:5bb87abbb7111d7288f4b845390cffa1a89d2a16fb2d24317abe74d9b28740a9","observation_id":"78ce2561-1b2d-43fd-98c6-77c8d2cb6be9","resolution":{"observed_at":"2026-08-05T10:49:50.937308Z","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-05T10:49:50.940313Z","title":"Fuzzing: Challenges and reflections","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.940313Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:2d789cfb575f8bdffabe7f4485b2e1a2865a74fdcfdecab201311f75b4eeb00e","observation_id":"797fca17-4c09-4353-987e-b51e1731e36c","resolution":{"observed_at":"2026-08-05T10:49:50.940313Z","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-05T10:49:50.943819Z","title":"Directed greybox fuzzing","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.943819Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:6f322ec09a0b82b141b6789623234b581fd0c95b63277463f923e2362df5fa4b","observation_id":"04df36ef-9682-40be-a13d-f93d1ac4c59b","resolution":{"observed_at":"2026-08-05T10:49:50.943819Z","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-05T10:49:50.947331Z","title":"Klee: unassisted and automatic generation of high- coverage tests for complex systems programs","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.947331Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:c977830c6e8724532968e280a4657e7c1363eb2e4882c767f167cbffd6e824fc","observation_id":"9c41fcfc-dafd-438b-a4eb-1e92a56fd33d","resolution":{"observed_at":"2026-08-05T10:49:50.947331Z","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-05T10:49:50.950787Z","title":"Binary analysis and symbolic execution with angr","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.950787Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:a5246a52768c7894ca11f7208fc71e1dd67a0889f8796b14068159b099537260","observation_id":"1c3fe9b6-afb5-4c0a-acfb-67660c7f1722","resolution":{"observed_at":"2026-08-05T10:49:50.950787Z","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-05T10:49:50.953790Z","title":"A guide to stakeholder analysis for cybersecurity researchers, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.953790Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:cab8b1dfdce16e9f370c46be96cb937f9d4f83a86e865b69f560ff036208835e","observation_id":"2d973b29-2972-488c-9045-46d0001471e3","resolution":{"observed_at":"2026-08-05T10:49:50.953790Z","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-05T10:49:50.956306Z","title":"Mock objects in software testing: An analysis of usage in open-source projects","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.956306Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:6f4bbcd4765b3f0941ed226bf1e53f3d62d10740206a6d8ecf6eb7a0864c902f","observation_id":"841f7b4d-1bfb-4103-941a-4457c55cc04a","resolution":{"observed_at":"2026-08-05T10:49:50.956306Z","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-05T10:49:50.959042Z","title":"Z3: An ef- ficient smt solver","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.959042Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:aaa7b653f9b2dc9e61d7b0a2fd42ff6aecff4fc6d7ca8e3f60f6aa8c125073c6","observation_id":"5db63a94-08ed-495b-bed0-4cb09055e1ba","resolution":{"observed_at":"2026-08-05T10:49:50.959042Z","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-05T10:49:51.957287Z","title":"Package manager: The core of a gnu/linux distribution","venue":null,"work_id":"e94d9881-dd96-48b9-ac02-95faab1620b9","year":2007},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.962388Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:3136569b4c7ca0550c0023aafed195196ee34f6aa86b2beb5f4971a237da1093","observation_id":"d115ce7e-af6f-4f01-8dfb-16eaa8f8cb4c","resolution":{"observed_at":"2026-08-05T10:49:51.960332Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.948095Z","title":"AFL++: Combining incremental steps of fuzzing research","venue":null,"work_id":"15b9417b-f95c-4846-847e-ab26ef7f221c","year":2020},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.965720Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:7567ecc1b37dd9287cfa0e3d34da32ff6241b5b51f61fb3ae865702f625619a1","observation_id":"f0cdee5e-e766-4488-ab88-51983801f70d","resolution":{"observed_at":"2026-08-05T10:49:51.950990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.939505Z","title":"Be- yond the coverage plateau: A comprehensive study of fuzz blockers (registered report)","venue":null,"work_id":"c4cf7f71-e0d9-4a8b-8178-f5ed9c2096d7","year":2023},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.968500Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:c70bc8372ffab42c157debd25b2d5daa93d17f9abaf51353dcd7d9c996d088f6","observation_id":"feab0774-a4df-4077-80e2-cff346c332a1","resolution":{"observed_at":"2026-08-05T10:49:51.942472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.929481Z","title":"Intelligent rest api data fuzzing","venue":null,"work_id":"614fbbdd-10fd-4ee8-8aa1-02e4e96cff27","year":2020},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.971128Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:67e856d572680a6019861a0694e5f34bda3d50bb9b4c6ceeb5054c76936af75a","observation_id":"51d535a3-df5f-4a83-9e8a-962dd43897a1","resolution":{"observed_at":"2026-08-05T10:49:51.932494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.919798Z","title":"Levin, and David Molnar","venue":null,"work_id":"12dfaf00-9693-4ebd-a09e-d51dac44d748","year":2012},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.973650Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:342501db4fad2297992f76266ea7465b425706f715be0379e7ad024af00f1478","observation_id":"199855e3-8e2d-45de-b497-a7346d719614","resolution":{"observed_at":"2026-08-05T10:49:51.923143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.910804Z","title":"Autofuzz: Automated network protocol fuzzing framework","venue":null,"work_id":"b381bc6a-92ae-4140-8108-b56f4ba76ec3","year":2010},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.976959Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:d91bf82492f213d2d2746e7e673edce6c3efb6423b95226557a56d9f5fe5fedb","observation_id":"e4953812-c389-4e6c-aa34-f4b1b3e85c25","resolution":{"observed_at":"2026-08-05T10:49:51.913568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.901501Z","title":"Deriving semantics-aware fuzzers from web api schemas","venue":null,"work_id":"0663c9f2-428f-4658-b25e-7c604f3a4827","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.980291Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:306a89928f0fd49f76059996934820ada7621c4e3f8af999c3fbceb629494700","observation_id":"a9a8d0c9-ea5e-4976-bd00-314e3dcc1a14","resolution":{"observed_at":"2026-08-05T10:49:51.904798Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.892942Z","title":"Seed selection for successful fuzzing","venue":null,"work_id":"cb4f6616-2f7a-44c2-8b78-e3e423fef11e","year":2021},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.983551Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:c467764256661a32f01dcf7ea850a30de6ed42b70de5357146a577d55ae6fa84","observation_id":"1d5d76a8-b799-44a0-8bf6-ae3015ed44e0","resolution":{"observed_at":"2026-08-05T10:49:51.895734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.883690Z","title":"Beacon: Directed grey-box fuzzing with provable path pruning","venue":null,"work_id":"ff42f4be-c0ef-41f9-b41d-858728fe095e","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.986950Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:a3ecbe684a192a0327595982cf31f07a7629c809595ff8241f37f5bccb7a2c8b","observation_id":"772b21cd-11f7-46ec-b2c0-02f8b52a61b6","resolution":{"observed_at":"2026-08-05T10:49:51.886660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.872886Z","title":"ISO/IEC/IEEE 24765:2010 - Systems and soft- ware engineering – V ocabulary","venue":null,"work_id":"bc5925c1-1a68-4c24-9aaa-5ccf2f8f20d5","year":2010},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.990544Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:9b5774a4e3559fca23685888859b64d939e1994e01b26c156c7dcee600e1e1af","observation_id":"1d1dc51f-d0db-45a9-b474-6367b970820f","resolution":{"observed_at":"2026-08-05T10:49:51.877102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.863261Z","title":"Unit testing principles, practices, and patterns","venue":null,"work_id":"1d8d2587-b2c4-4f4a-b4d2-1d0ac8813135","year":2020},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.994413Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:ec41a4e6d7520a065590477fd82144f12aed7c6287e70cbc7caf46d937decc06","observation_id":"9e512ce3-b8f5-4a40-8721-a3173b0d576a","resolution":{"observed_at":"2026-08-05T10:49:51.866159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.851640Z","title":"Drivefuzz: Discovering autonomous driving bugs through driving quality-guided fuzzing","venue":null,"work_id":"ae5e8668-2655-43a7-aa4b-d73ccf0b9f5d","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:50.997066Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:88c99d0b345a2a89e4d916da3d05d3f0fc9f1290b4e1257b7b40d3106fa2067a","observation_id":"5f2978cd-4976-413f-bb7e-87442198e21a","resolution":{"observed_at":"2026-08-05T10:49:51.855575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.841407Z","title":"appneta/tcpreplay, Feb 2024","venue":null,"work_id":"85b57aa4-4f79-4e43-8d24-f300dd47d98f","year":2024},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.000090Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:2854c0c39395afbf7ddd40dcfc7d562d5663045cc4829eb59dba24993f9fe6ad","observation_id":"71583a25-87b5-4e84-b3f0-197df0ec5279","resolution":{"observed_at":"2026-08-05T10:49:51.844549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.831787Z","title":"Lattner and V","venue":null,"work_id":"00bab381-daca-4b25-870e-bd69046b52cc","year":2004},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.002849Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:551045870bbbbcc8dff0e5d5885ce54a9fcbb782081ce672d56c72f867ed9aeb","observation_id":"588bc7a1-ec51-434b-985e-e7e620688ba7","resolution":{"observed_at":"2026-08-05T10:49:51.834577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.821191Z","title":"Github - leahneukirchen/mblaze: Unix utilities to deal with maildir, Jul 2017","venue":null,"work_id":"f4e8fab5-e2eb-4fc0-9843-17b814a9019f","year":2017},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.005809Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:d9c6977d5f28d04d4fb8df43f43b8a7ada1fc1d7a34fa67acc353ee468522b22","observation_id":"e00ebee8-0d4d-4a59-a2be-5d1d8148f3ca","resolution":{"observed_at":"2026-08-05T10:49:51.824616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.812037Z","title":"Fairfuzz: a tar- geted mutation strategy for increasing greybox fuzz test- ing coverage","venue":null,"work_id":"d1c8ef84-01ac-42db-916c-a2ed65fd6aba","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.008469Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:cd272479d1b277f26749ec962a077dea6519676807c840d4affa49e112893985","observation_id":"e31f88eb-77f7-4913-801e-d2295094eb38","resolution":{"observed_at":"2026-08-05T10:49:51.815077Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.796276Z","title":"Redefin- ing indirect call analysis with kallgraph","venue":null,"work_id":"79f4fa1f-48b7-49d2-a21f-0922d5ab8c67","year":2025},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.014601Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:4586075fe9047c0bf025777a6f06f9e3ad1bfdf40bc08c1e09bd4e51ac8fe59c","observation_id":"ef75fc26-9219-49f7-b784-db770ff00f08","resolution":{"observed_at":"2026-08-05T10:49:51.799733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.786285Z","title":"Github - libming/libming: Swf output library, 2020","venue":null,"work_id":"dc25a19a-532e-4d45-b04f-b736719f041b","year":2020},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.017607Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:93f969e54e93af6853bdd7dfb74563362675f03f1f7f4a5026e75b239c6d8f30","observation_id":"447627e2-5d08-4d18-885e-3936467983c5","resolution":{"observed_at":"2026-08-05T10:49:51.789508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.775608Z","title":"Improving Indirect-Call analysis in LLVM with type and Data-Flow Co-Analysis","venue":null,"work_id":"42553c03-b703-4969-a534-7a29b7ae7c06","year":2024},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.021282Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:298cfde3286f9373b718fe145c53fdec18b73f249c43d4deb1326c775e696132","observation_id":"eb66e720-ec8b-469e-9d73-a632425533b0","resolution":{"observed_at":"2026-08-05T10:49:51.778660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.766559Z","title":"Afgen: Whole-function fuzzing for appli- cations and libraries","venue":null,"work_id":"a0ce4ba9-6fdc-4876-80fc-a08d59f1c46f","year":2024},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.024522Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:881ef136e3cdcaad860c06d4442ca3b1a3f4cfb8cfdeb308f27877d39e043734","observation_id":"ff4c1362-b409-4495-bbc8-b08ee5b03ce8","resolution":{"observed_at":"2026-08-05T10:49:51.769369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.757892Z","title":"Afgen: Whole-function fuzzing for ap- plications and libraries","venue":null,"work_id":"c7565719-59a7-421f-afac-9fa2298f7cd5","year":2024},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.027209Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:e6a86e9a4ca3a7de41a299582d8093d5f1ba6c02eacd711a3f1f51aa80a7b6a9","observation_id":"216e8032-f9b0-4239-a362-69168d39c1d7","resolution":{"observed_at":"2026-08-05T10:49:51.760667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.748105Z","title":"Where Does It Go? Refin- ing Indirect-Call Targets with Multi-Layer Type Anal- ysis","venue":null,"work_id":"b4c1dea7-0c2e-42f5-b7a9-197a5e1c2633","year":2019},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.029909Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:aecd1096cf9fc2fb0802ddcd7b9af7291d1707308696f8835d5c2a9ecf1e30bb","observation_id":"7be51608-62df-4471-afe9-f8dceb4ca7cc","resolution":{"observed_at":"2026-08-05T10:49:51.751426Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.02606","last_updated":"2019-06-03T15:20:47Z","snapshot_observed_at":"2026-08-14T18:54:45.745778Z","submitted_at":"2018-07-07T03:19:25Z","title":"SmartSeed: Smart Seed Generation for Efficient Fuzzing","version":3},"cited_work":{"arxiv_id":"1807.02606","doi":null,"metadata_source":"pith","pith_arxiv_id":"1807.02606","snapshot_observed_at":"2026-08-05T10:49:51.220015Z","title":"SmartSeed: Smart Seed Generation for Efficient Fuzzing","venue":"cs.CR","work_id":"973ee6f5-142d-493b-a55c-95276f86a958","year":2018},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.032673Z"},"links":{"cited_paper":"/paper/1807.02606","citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:260afe2505b2c04390d4b2da1529e8a49eed795a49e1a5a675bbd4e2c80dcc8b","observation_id":"1eea839c-00d5-4cbe-a158-2e2260e54888","resolution":{"observed_at":"2026-08-05T10:49:51.225205Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.036237Z","title":"Directed symbolic execution","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.036237Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:cd12fe299c2304707d5e8fa81226857246b885df61039063f5883db49f8a9e4d","observation_id":"424a710c-ed8f-41f8-aa47-8a28d29c9758","resolution":{"observed_at":"2026-08-05T10:49:51.036237Z","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-05T10:49:51.733015Z","title":"C to checked c by 3c","venue":null,"work_id":"bdf2aa8f-bb66-488e-898c-a39e970ad485","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.039602Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:e66b0f427d51289a89acc2be0b8aa088f4a304f456dec8b69801e7f32f49509d","observation_id":"e9915f7a-2d53-4cad-983a-a9603e3ace27","resolution":{"observed_at":"2026-08-05T10:49:51.735923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.724640Z","title":"Hybrid concolic testing","venue":null,"work_id":"9095ca9c-c190-4871-817c-dceb7bbf5ace","year":2007},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.042519Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:22dcb6b5aba2a0e0611dcf6cc4d7be9d47ba2c35d68067d416c04817b2d7d4ba","observation_id":"dcd83b36-a844-48ee-93c3-a19dabd0d442","resolution":{"observed_at":"2026-08-05T10:49:51.727276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.715237Z","title":"Demystify the fuzzing methods: A comprehensive survey","venue":null,"work_id":"ca28d879-66be-4474-b5e5-08d50aa6541c","year":2023},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.045062Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:af25184a23bbf082458481c9d700ac0c99daed2cdcce59b525679abf7b4d753e","observation_id":"cda70c43-ad40-434c-a40b-e184538d1044","resolution":{"observed_at":"2026-08-05T10:49:51.718181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.705427Z","title":"The art, science, and engineering of fuzzing: A survey","venue":null,"work_id":"637abc6d-7e21-4762-93bf-52598c33ef01","year":2019},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.048529Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:959399e3471c3be29cf4643d8bdb3b658816e2907cbd5e9909a35ea354d143d6","observation_id":"e1594147-5ffc-4054-8108-3c4e3e260bed","resolution":{"observed_at":"2026-08-05T10:49:51.708541Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.696515Z","title":"Github - marc-q/libwav: A simple wav library written in pure c., 2016","venue":null,"work_id":"65d72b5c-9879-419f-99b9-c3b1aecc1978","year":2016},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.051183Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:2ee585f7b3f5022b8d8a774b1002e35ae6a49cbfb31b6ec9051a3928dd9c0a16","observation_id":"05ea1e68-8ffb-4983-b394-4a83b2f87cfe","resolution":{"observed_at":"2026-08-05T10:49:51.699281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.687568Z","title":"Algorithms for maximum satisfiability using unsatisfiable cores","venue":null,"work_id":"6243e249-bce2-40c6-a9f5-61673fcaec7a","year":2008},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.053613Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:7e3c8232604f6632a5c5b2c8f78325c4cc3c2df51737b453c3d72dcbd2d0f769","observation_id":"aef3e93b-322b-4523-ab6b-fe89dee082e5","resolution":{"observed_at":"2026-08-05T10:49:51.690970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.678415Z","title":"Checked c clang repository","venue":null,"work_id":"5db00072-55e7-4d00-9ff8-8073ecf029b3","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.056789Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:874fc7dfa74409bd191ab07261ecd75a5e98083628ea95fc6716759064a061db","observation_id":"deeecbe6-2777-46ab-b19b-30f707364db7","resolution":{"observed_at":"2026-08-05T10:49:51.681283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.669434Z","title":"Github - miniupnp/ngiflib: Gif picture format decoding library written in c","venue":null,"work_id":"a7011598-a436-4385-88f1-a806362d58f1","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.059527Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:caebe4a7dd51a821987af95b5e97b6a2223d561a51be15fef9236fe7a2d98358","observation_id":"68e6e231-6cf9-4b14-a337-81b9bd4453ad","resolution":{"observed_at":"2026-08-05T10:49:51.672868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.660048Z","title":"Vulnerability-oriented fuzz testing for con- nected autonomous vehicle systems","venue":null,"work_id":"bf7aa600-0066-43f3-8ac5-c126aaddd3fb","year":2021},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.062704Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:caac1815ae5c136f2bbf09e5b40ed221c167094680cd22fbf135230d93cbaac9","observation_id":"a03c800a-f3d6-43ed-8f6c-a695c5f445a6","resolution":{"observed_at":"2026-08-05T10:49:51.663375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.651562Z","title":"John Wiley & Sons, 2011","venue":null,"work_id":"5188324c-9e64-4155-bc21-8886aade820d","year":2011},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.065975Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:2be4c25726b43dd0debd8fe13d4dfa2de52d0e9582219f533501b1e423920897","observation_id":"8ffaddaa-b49d-403e-b3c9-0360deb174b0","resolution":{"observed_at":"2026-08-05T10:49:51.654044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.642874Z","title":"Stateafl: Greybox fuzzing for state- ful network servers","venue":null,"work_id":"d616638e-cb81-463e-ada4-e84dfa77402d","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.068461Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:6b3253e69d503609fb45f09092c5cd035e448d7ee6bc23d3f70bcf783c05f840","observation_id":"fd78e143-d9f6-4cb0-8013-8684f3411951","resolution":{"observed_at":"2026-08-05T10:49:51.646095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.634056Z","title":"Ccured: Type- safe retrofitting of legacy software","venue":null,"work_id":"80e37f8a-389a-40f6-a5c3-66c6b69efc10","year":2005},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.070899Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:0c7d8c848157e14a69cdcf9ab9e06538489e0ab3e62b018494ea37771cd22358","observation_id":"c1b26365-755e-4cf5-bb9d-10c1cd5065f6","resolution":{"observed_at":"2026-08-05T10:49:51.636923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.625574Z","title":"The hu- man side of fuzzing: Challenges faced by developers during fuzzing activities","venue":null,"work_id":"7ec356b2-e040-4316-89e2-26db3a0c7ac0","year":2023},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.073242Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:6c60feda6254696f4b6d4a76354779420749515de6fe388713d01ce48138a1e4","observation_id":"3cf0257d-1dc8-4ba5-a041-8dd5647c77ac","resolution":{"observed_at":"2026-08-05T10:49:51.628555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.616183Z","title":"Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries","venue":null,"work_id":"994ae174-943b-4a52-b518-687dd8babdb8","year":2016},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.075674Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:fe662ec48a4df2e91324444615fe5ef43185de63879f22cf143824888e3e0d7a","observation_id":"ce94fd33-34a6-4aea-941c-79b34e3eb226","resolution":{"observed_at":"2026-08-05T10:49:51.619626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.606871Z","title":"Locksmith: Practical static race detection for c","venue":null,"work_id":"a82099ed-0e6f-4ff3-8ea9-2ffdeb7fb1ed","year":2011},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.078158Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:52f2bc368a7c590ecbb7a6c7b3a9dbc9f0a9903cba15c95e503b04fca03203a6","observation_id":"6e881dc5-c92d-4a22-ba25-1888688cf9d3","resolution":{"observed_at":"2026-08-05T10:49:51.610115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.597364Z","title":"Nsfuzz: Towards efficient and state-aware network service fuzzing","venue":null,"work_id":"edf20545-44d5-41fc-8d41-ecdd3a5a868f","year":2023},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.081064Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:aaeb7d9dfb2a31a17ab00df444724c2742e96b3ccf734be397c063d828167460","observation_id":"61b3cc25-481b-4868-b3ba-e36bc0046628","resolution":{"observed_at":"2026-08-05T10:49:51.600246Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.588277Z","title":"Optimizing seed selection for fuzzing","venue":null,"work_id":"31ff3e82-052d-46ae-82fc-8d2a6f090b78","year":2014},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.083665Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:b07eecd7926e8cb1d0f5245305f1bde1c8a922eebf7fe8cb4141b52ceb082a55","observation_id":"5aae4986-0089-47aa-be24-9d6236d22c32","resolution":{"observed_at":"2026-08-05T10:49:51.591409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.578656Z","title":"Nyx-net: network fuzzing with incremental snapshots","venue":null,"work_id":"7ed42c67-e2a9-43ac-9d77-54301d0b75d1","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.086450Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:dde00dc36f50bad5b494b3279697ffb5fdb9247017a662283845927d2cc1a3cd","observation_id":"fc496033-3402-4935-b00c-bf7ab15268ec","resolution":{"observed_at":"2026-08-05T10:49:51.582044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.569071Z","title":"Static program analysis as a fuzzing aid","venue":null,"work_id":"932293f6-b83b-4435-9e90-34a07090b2f3","year":2017},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.088939Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:ad71dcc76f38b35699b1961d9d888c04ac119a27dcce458b3022c20ed191955a","observation_id":"7440558d-9683-43e0-bed9-f70361cb5c71","resolution":{"observed_at":"2026-08-05T10:49:51.571859Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.559100Z","title":"Neuzz: Efficient fuzzing with neural program smoothing","venue":null,"work_id":"0c075d48-6837-41fb-aaf0-954eb4ac8356","year":2019},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.092271Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:aa8c06822202f6aa60060025526e4da1aa9973c7eb6f0bee44f92e2a92beb960","observation_id":"58f260b9-88dc-4a82-9aa1-c3689fac5268","resolution":{"observed_at":"2026-08-05T10:49:51.563074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.549719Z","title":"No harness, no prob- lem: Oracle-guided harnessing for auto-generating c api fuzzing harnesses","venue":null,"work_id":"82055b7e-33fc-49ba-bd6c-9ad2b22bbeb6","year":2025},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.095270Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:b2d14ac9cdba656d65756b1374e9270fbf8bacd1913d1e5f406ad39e1bac8e74","observation_id":"d3a33f7c-cef4-45bb-bc85-9ea820b9871e","resolution":{"observed_at":"2026-08-05T10:49:51.553384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.540299Z","title":"To mock or not to mock? an empirical study on mocking practices","venue":null,"work_id":"58fae64f-5582-4581-85bb-724163aec216","year":2017},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.097954Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:43137a12dab3b5be269da223a9ad3d5ebac324a2e86481a9b0f654d86622de3d","observation_id":"8729d90b-6de7-4697-9be2-80109ebd6c21","resolution":{"observed_at":"2026-08-05T10:49:51.543538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.531259Z","title":"Mock objects for testing java systems: Why and how developers use them, and how they evolve","venue":null,"work_id":"a6d5b276-0cc8-48dc-81d9-a69e6236210d","year":2019},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.100794Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:7ed0b6e7dbd6cce7a846467b5d3051882e89ffaf5ed2de23e2704d939464a2ae","observation_id":"a616203c-d2db-44eb-8c36-44ebe6d0c2b6","resolution":{"observed_at":"2026-08-05T10:49:51.534389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.522289Z","title":"One fuzz doesn’t fit all: Optimizing directed fuzzing via target-tailored program state restriction","venue":null,"work_id":"fe0d8ba7-cbec-4e73-ac7c-64c156e23d38","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.103645Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:2f2cec2dcc194ed149ab53d83b35e6a5da129500981abe3d4443bb5de2785116","observation_id":"779c066d-2c9d-4fe3-b457-07c9ac243eff","resolution":{"observed_at":"2026-08-05T10:49:51.525117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.513048Z","title":"Driller: Augmenting fuzzing through selective symbolic execution","venue":null,"work_id":"073095db-9837-4cd6-bb39-c1e23af0d5b4","year":2016},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.106284Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:47b313b078d16bf2710554bdae16fdb2b15627393a0ced7e28fc2b03e2ed2dea","observation_id":"fc516435-ea4f-4eda-a39c-2cd5ace71eee","resolution":{"observed_at":"2026-08-05T10:49:51.516261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.502498Z","title":"Klee symbolic virtual machine, 2015","venue":null,"work_id":"e96b63d8-a9ee-4747-bc48-73772ae6bd24","year":2015},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.109164Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:bebdca38f36e0f2f20e58068c1748e59ec7cd9b616dad192481c684bc3912481","observation_id":"653e113d-d00f-42e7-9a64-e863791f5b04","resolution":{"observed_at":"2026-08-05T10:49:51.506195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.492997Z","title":"Arbiter: Bridging the static and dynamic divide in vulnerability discovery on binary programs","venue":null,"work_id":"7638aa2b-30bf-4977-b39f-2aa52d690741","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.111783Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:37acaee5173be6c591d42dd3ae2b45eb7ae3ef8c8322447299030e6a19be99df","observation_id":"5275ece8-30e7-4942-8e82-12e2fa758d11","resolution":{"observed_at":"2026-08-05T10:49:51.495921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.482494Z","title":"The progress, challenges, and per- spectives of directed greybox fuzzing","venue":null,"work_id":"585583e9-ec05-4f35-a91f-2c3f8790bb11","year":2024},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.114888Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:4afd785ee32eebc57bddac867ec05d64a9f5b726fb4455582296107b1784358e","observation_id":"1ccee5ac-be42-4bbd-8666-1da03d7895a8","resolution":{"observed_at":"2026-08-05T10:49:51.486301Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.473891Z","title":"Not all cov- erage measurements are equal: Fuzzing by coverage accounting for input prioritization","venue":null,"work_id":"45f0c58d-d9d5-444f-b257-3153723baf9e","year":2020},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.117921Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:5b599a4ec13550b52d0d1ed6ac6c7191f86cf408d6fd37b1f304c4633486b0f2","observation_id":"bb7275c2-5c47-4ca1-b313-af310f84bd22","resolution":{"observed_at":"2026-08-05T10:49:51.476769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.464683Z","title":"Neufuzz: Efficient fuzzing with deep neural network","venue":null,"work_id":"b98d5ec4-bfce-46e1-8a33-d678fcedf15f","year":2019},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.121496Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:9c29c07216d828a76862601201f6bd51aa828bd346ddf5ce0f2aa6b01a21b84c","observation_id":"21fbbbd1-a74e-4c5d-bd55-a6127aa2013a","resolution":{"observed_at":"2026-08-05T10:49:51.468054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.455381Z","title":"Directed incremental symbolic execu- tion","venue":null,"work_id":"e5ce8c0a-0b99-4505-9f8e-adc103c49bc3","year":2014},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.124672Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:0bd8b49ed9d28a5bb3a1eec5c0418b20ac4b2bdabe2a21307e89a2dd2f46e3b1","observation_id":"4fd516f5-5b22-4529-b7bb-45b21e6de9e4","resolution":{"observed_at":"2026-08-05T10:49:51.458545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.445423Z","title":"QSYM : A practical concolic execution en- gine tailored for hybrid fuzzing","venue":null,"work_id":"4764d41e-af96-4316-99af-10fe06de1b83","year":2018},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.127560Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:ad9fd23e3f22441ff1872b35db38ad04119681073d29781a851c8668855fcf3f","observation_id":"4e20db7b-ea13-43d7-b39f-189b852496f4","resolution":{"observed_at":"2026-08-05T10:49:51.449052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.436235Z","title":"Neural network guided evolutionary fuzzing for finding traffic violations of autonomous vehicles","venue":null,"work_id":"70ce839f-e2ee-44a0-ae9b-730e8f938cd4","year":2022},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.130043Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:c7fadbef847e1b75bf60ab079ece17c3d3522c70d2f7c99aaa8cd4423fb8c26e","observation_id":"a81adfc9-e2fd-451f-83ce-b0b4f3c84e75","resolution":{"observed_at":"2026-08-05T10:49:51.439673Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.427580Z","title":null,"venue":null,"work_id":"4c2b9ae7-b01c-4409-85de-f08ea22a65ac","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.133089Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:b06c1ce92ea57f471d43acbe1a66684144421733be5f41786d72caab82044230","observation_id":"e03b9a1a-e259-4638-a63a-850c70b8e0e3","resolution":{"observed_at":"2026-08-05T10:49:51.430343Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.418817Z","title":null,"venue":null,"work_id":"2b2c7406-e9b6-4793-969d-56a3ae080c29","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.136190Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:3133597392e04b9c2603372f7ae29daaafa53013c54cc452966cbefa5021ec3a","observation_id":"980a0583-3f8b-444d-b789-c97d5ab449f7","resolution":{"observed_at":"2026-08-05T10:49:51.421503Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.409050Z","title":null,"venue":null,"work_id":"226b39e8-9e26-4922-981b-ce31a9931657","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.139462Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:e208e6eacefb1a6bd85e2b4092fa75a5eeea059b4843fcac0326d01d9ad1c915","observation_id":"7a189fbf-ba8b-4135-bfe0-70aa2e904021","resolution":{"observed_at":"2026-08-05T10:49:51.411701Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.399289Z","title":null,"venue":null,"work_id":"35645645-e9b8-4c50-b364-9d425ae8ed85","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.142005Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:f8d165b9e9407f8c43ff1291cdcb2a4a4b5aa979516be04fe723d087d319b207","observation_id":"8f4064f3-1c5b-4343-8368-2f6441334ab0","resolution":{"observed_at":"2026-08-05T10:49:51.402225Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.391328Z","title":null,"venue":null,"work_id":"068ab711-7e07-4cde-a13e-73b0d6de05c2","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.145253Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:d8b3dd0ee415ff22b9f810c6a2ec4780202bb51e71f3cc825108f6880240357f","observation_id":"9dbc340e-71da-44e3-a1d1-e84ead90da8e","resolution":{"observed_at":"2026-08-05T10:49:51.393945Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.382939Z","title":null,"venue":null,"work_id":"9848d921-95ec-41a3-a0b2-cfeaf019ea0e","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.148106Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:19a8486b3b63e03fe27ba2b4178bddd908ac9bf34bded36aa61bc2833b254729","observation_id":"0dcaf89c-8d40-405b-8fd2-89a72a427013","resolution":{"observed_at":"2026-08-05T10:49:51.385560Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.374270Z","title":null,"venue":null,"work_id":"6f8ca5ce-2be2-4129-bd9b-8df5f6b10f19","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.151248Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:46b90f011ab8ed7855a501fe09ab29b1cb561b942ca615377c99c58be27a3cbe","observation_id":"10777d2e-3618-4004-93cd-c16d5d094795","resolution":{"observed_at":"2026-08-05T10:49:51.377061Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.365118Z","title":null,"venue":null,"work_id":"92f93802-2432-49e1-9894-266feea8d0dc","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.154048Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:bc13e7cb787f3e194c7f6eecdb08e967f443f085c1fd8ddce7e2fca17aa30ae2","observation_id":"513ad65f-a81c-421e-8d90-c9447b6e83ff","resolution":{"observed_at":"2026-08-05T10:49:51.368320Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.356221Z","title":null,"venue":null,"work_id":"e7b13d01-0c30-499a-8175-4bb596204425","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.156674Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:3a24f2525a46f0b2a566ba9b9fd52b841b6e11a0f03378c593ee8f687204c89d","observation_id":"d61f8f1b-e135-49f3-bb1d-710f2f1a6cd3","resolution":{"observed_at":"2026-08-05T10:49:51.359046Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.347098Z","title":null,"venue":null,"work_id":"ac87a478-7129-4d91-a907-817bbc71c110","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.159135Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:d318ed18ff1bf63bbfbdd8c65ec4f33f3d563f6aa0a6c0ac3e55c13fb0e962c2","observation_id":"081d6e09-d318-4b19-8b30-419f1a89a74e","resolution":{"observed_at":"2026-08-05T10:49:51.350402Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.338104Z","title":"/seeds/test.pcap","venue":null,"work_id":"9b510ba8-e5ef-4a8c-a4b5-8963b39c0d2b","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.162366Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:90f07ad973d4b7923210f0b27cc79def80634ec76dc5b44fe32433a8c4d07525","observation_id":"c608df39-1118-47fc-8ba7-3548a7ce392c","resolution":{"observed_at":"2026-08-05T10:49:51.340826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.329245Z","title":"For example, the libwav [40] project, was last updated in 2017, and all the CVEs reported were not verified, ac- knowledged or fixed by the developers","venue":null,"work_id":"c1f16b43-4e39-4802-8427-dd77156c9474","year":2017},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.165759Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:546a4e04b8ab06791c34d1eb6aa2548c2304e88d07d207694e1ac15698d4bfb4","observation_id":"99dd8562-0587-4c79-8fb4-39bba69dfd55","resolution":{"observed_at":"2026-08-05T10:49:51.332521Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.320461Z","title":null,"venue":null,"work_id":"f5e2a1bf-dee7-4193-a780-df906eed4eda","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.168563Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:77e1283aa23448fdc7b370196dc9d4978f05b42582672b91c8a64e1016e36f1f","observation_id":"750fb030-96f8-4fac-a8fe-311179b16ecb","resolution":{"observed_at":"2026-08-05T10:49:51.323041Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.310838Z","title":"invalid input params ! \\n","venue":null,"work_id":"de2bc061-aa44-4505-9298-193ffe6665df","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.171060Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:3f1dc9e851fd0e5014a778ca3243a7b37e5aad0f54228aec318a3f7948c2da53","observation_id":"5be81884-256b-4279-a793-00e889780357","resolution":{"observed_at":"2026-08-05T10:49:51.314172Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.302080Z","title":null,"venue":null,"work_id":"b0cb07a5-ea5d-4bb2-b2f6-da98bd2ca082","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.174315Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:8d0397759a7e41c41453fee983765e5ded6331880ab0261a79fb8485923bee9a","observation_id":"ec152b37-23ff-409e-8b82-0d4dc480c876","resolution":{"observed_at":"2026-08-05T10:49:51.305084Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.292450Z","title":null,"venue":null,"work_id":"dbb82825-e5ea-48bb-85a7-f6a042378012","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.176886Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:76ebb92dc4054ee50d93e63c38a9d13ef93ab1d8ceb5f01ea0e50b33315113c1","observation_id":"d289f265-6c14-4cfe-9802-997766b0a665","resolution":{"observed_at":"2026-08-05T10:49:51.295520Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.283190Z","title":"This is mainly due to the fact that our strict runtime santization does’t allow the fuzzer to proceed from these crashes","venue":null,"work_id":"17733b8e-c422-4ebb-9ca5-0941279da9cd","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.179498Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:a82961ad82bfa45527896d2cef9bf37b80a849baffc00012fc13d88d76dcc1c2","observation_id":"629ff728-b94c-49a6-8359-a5c0e354bb8a","resolution":{"observed_at":"2026-08-05T10:49:51.286510Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.272470Z","title":null,"venue":null,"work_id":"c701948d-8d70-479b-a05b-09d37f656144","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.182058Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:f2f9782e0e7b1a3cf0179f8711091f49e6248c3247fd1b654f3e13a1fbbb8c5a","observation_id":"ec5ca20e-47f6-4c21-9d5d-01614c4bc3af","resolution":{"observed_at":"2026-08-05T10:49:51.275654Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.262107Z","title":"If these are unmodeled, execution terminates before reaching target functions","venue":null,"work_id":"125039f4-373b-4445-a7cb-a0de5cc5ead4","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.184740Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:3759152490c68a3207666489d6dc3db69a36983d903d3816c46f3a05ad1107bb","observation_id":"5952cbb1-5634-4160-aaa2-7c617b853d3f","resolution":{"observed_at":"2026-08-05T10:49:51.265523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.252042Z","title":"A.10.4 Constraint Generation Failures There were no Constriant Generation failures that affected all the inputs in an call-edge or a target functions","venue":null,"work_id":"7ff3e313-a000-488e-9c75-ff7f76006a95","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.187188Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:dec9f110d02bc8c6979372144b6254339fe4ec6bbb9c20b4da9e10896c9889de","observation_id":"76cc4b6d-29ad-403d-8582-4ea9b201f0ff","resolution":{"observed_at":"2026-08-05T10:49:51.255627Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.241354Z","title":"} if (strcmp(argv[1], \"-d\") == 0) { jfif = jfif_load(argv[2]); jfif_decode(jfif, &bmp); ○","venue":null,"work_id":"ac2df2e9-bb0d-4bb2-9380-5430def4d607","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.189744Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:f8563599a7133bb23ac22a2468f1b095c96d9cdf5dcdd45acd9c3b0b4ff92acc","observation_id":"ea6987f7-6ef4-41d0-a5e3-ca90a1034955","resolution":{"observed_at":"2026-08-05T10:49:51.244153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.232090Z","title":null,"venue":null,"work_id":"70de840f-fad7-43df-b04e-3772d9c9125e","year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.193050Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:01aa314e1b26f2ca06cbae7134f6557082b618f97864809b612d665230d208e0","observation_id":"ffaab370-2e80-467e-ba1f-e93534d3b733","resolution":{"observed_at":"2026-08-05T10:49:51.234978Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T10:49:51.011442Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-05T10:49:51.011442Z"},"links":{"citing_paper":"/paper/2509.03711"},"observation_digest":"sha256:375feb24c3416b1dd257cc3bc68bef8009cd185a24b72bff3c904966944be53a","observation_id":"4b1e13fe-fd04-4cac-9978-d8d9c04b0480","resolution":{"observed_at":"2026-08-05T10:49:51.011442Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.03711","last_updated":"2025-09-03T20:54:43Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-16T13:51:30.606011Z","submitted_at":"2025-09-03T20:54:43Z","title":"Reactive Bottom-Up Testing"},"reference_resolution":{"displayed":91,"state_counts":{"malformed_identifier":4,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":28,"verified_exact":1,"verified_fuzzy":58},"total_outbound_references":91},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 91 of 91 outbound references and 0 inbound Pith citation observations for arXiv:2509.03711."}