{"as_of":"2026-08-21T03:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5d057e1a6d374c98982a85b78fae7394f5fb18aaed431ba2e0cdfc5e3b10c1f1","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T13:00:21.792859Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2507.21318/citation-record","integrity":"/paper/2507.21318/integrity","json":"/paper/2507.21318/citation-record.json","paper":"/paper/2507.21318"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T13:00:22.254743Z","title":"Why Do Computers Stop and What Can Be Done About It?","venue":null,"work_id":"4b914afa-cdc3-4ac7-9266-2d6717cb3e9c","year":1985},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:20.933330Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:e7519f24f0de95c6954a5fc15da773b3ee65355928b86a062410377b7962dd41","observation_id":"761dc5a2-45b8-403f-8572-e3e840949774","resolution":{"observed_at":"2026-08-06T13:00:22.257354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.247036Z","title":"Intermittent Failures in Hardware and Software","venue":null,"work_id":"463515df-abd7-4b94-8fd2-879e339a5956","year":2014},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.050538Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:750d6a8e6e3c2868cf4a51de6e5b1a6a6ce1c995e10b6566a96981a2d2d0caaf","observation_id":"00549e66-2378-428e-b8f9-b821ff20f47a","resolution":{"observed_at":"2026-08-06T13:00:22.249629Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.239061Z","title":"Finding and Reproducing Heisenbugs in Concurrent Programs","venue":null,"work_id":"8ab64d37-634e-4f0e-9509-b32c200f754c","year":2008},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.145121Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:a7c84ef2100c453eec8f3793fc05ce73bdcf19d0a3fddb28c5094a7f449748af","observation_id":"ecdbe45c-2bcc-4c27-a683-fa3928097dd4","resolution":{"observed_at":"2026-08-06T13:00:22.241976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.231684Z","title":"A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs","venue":null,"work_id":"3450cc54-f0a6-4c84-bf5a-eec53e85ac78","year":2010},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.265460Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:7f044e9e0b377e83d889381053e1f9c1f423c1e7946d95e4cc70567690d9c685","observation_id":"c5a1c173-0013-4d73-a15e-655e80caeb43","resolution":{"observed_at":"2026-08-06T13:00:22.234275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.224018Z","title":"Levin and David A","venue":null,"work_id":"e3ca8249-2483-4427-b9ba-86a45319e8d4","year":2015},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.435997Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:73fc13413c5ebb70a1a3400568145d3e426392eb6e22e90b4401265d9056e460","observation_id":"f4f756b4-92f6-4e5a-be87-78af680963ec","resolution":{"observed_at":"2026-08-06T13:00:22.226773Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.216648Z","title":"Necula and Koushik Sen","venue":null,"work_id":"2b52ac6b-b657-494a-a136-7e85117aa338","year":2013},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.606303Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:c18bea5973495b3bdeec1a9ba7575409837cb2b6c5d289d8e91cddf82abd15ec","observation_id":"ecf93d61-bfee-4ab9-9e93-a3dad38cd166","resolution":{"observed_at":"2026-08-06T13:00:22.219071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.208587Z","title":"DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization","venue":null,"work_id":"cc61d127-58d1-4b34-938e-5e521315bbc7","year":2019},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.660871Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:63d0566f745b598f47377c4a4108126c4660ef1e65bae683a86201de94a41648","observation_id":"8afe6290-e021-4d1e-81ad-b9b6e680815e","resolution":{"observed_at":"2026-08-06T13:00:22.211452Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.201033Z","title":"Learn&Fuzz: Machine Learning for Input Fuzzing","venue":null,"work_id":"82fed2eb-11a5-4723-aa09-1c2fe18993a0","year":2018},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.663887Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:5b2fa17de0fec9c828ebf74c6747ba706c02fd43127b094dc566b4436f442a40","observation_id":"d99dcae0-e543-4e1e-ad09-6dbebd70f674","resolution":{"observed_at":"2026-08-06T13:00:22.203834Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.193866Z","title":"Lukman and Shan Lu and Haryadi S","venue":null,"work_id":"5b36379f-0f7d-4335-a90d-73f2354a126b","year":2016},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.667496Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:246aa1db21f017301be6c5948ce48740df3c1bbe4a7aeda154c61abde02d4cdf","observation_id":"95999c44-4bf4-4074-9ae7-d8af63ad88b2","resolution":{"observed_at":"2026-08-06T13:00:22.196248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.186461Z","title":"Goldberg","venue":null,"work_id":"a5d4302d-feba-4fac-b953-b3e2bb82c39f","year":1989},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.670308Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:4ce484a3a6c2aeea36ffeadd196608dde85e34ce5d2c79755c82fba4885bb60d","observation_id":"59e99619-90a1-4579-a68e-8ba4954e1de4","resolution":{"observed_at":"2026-08-06T13:00:22.188878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.178899Z","title":null,"venue":null,"work_id":"2c19076c-ab79-48f9-836c-d8458ad19717","year":2023},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.673298Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:39bd448de0d78619b90dd3fefea2f00d33e4f40b7f9e219c4c538e481a768b2a","observation_id":"2768482f-5c91-473a-9f83-d9de3b8f5da2","resolution":{"observed_at":"2026-08-06T13:00:22.181278Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.171715Z","title":null,"venue":null,"work_id":"4d052006-2907-4e1c-ab97-7f25fb0a0937","year":2015},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.676107Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:36f2f0578e634470787c15baacbf392b50b7eafbc3e4453a877322e180134dab","observation_id":"7317de17-fdb4-45a0-b8d1-61120f075218","resolution":{"observed_at":"2026-08-06T13:00:22.174137Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.164384Z","title":"Generalized Coverage Criteria for Combinatorial Sequence Testing","venue":null,"work_id":"a01b01d0-ba9b-41a9-9f6b-489ec194f4df","year":2023},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.679292Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:19654af48fcc97af0edfe98643697e21bc4f5799a1d51d38304043a970d59bfd","observation_id":"4b2f92ab-4fe9-498b-ae28-913ee57c472e","resolution":{"observed_at":"2026-08-06T13:00:22.167009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.157008Z","title":"Wasserstein and Nicole A","venue":null,"work_id":"e171254e-0d9a-4774-a89a-222f673f1325","year":2016},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.682115Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:52ac97343b6776092d6889f1a842c75425157b2d7cb7b4e1024be535bd97ce5c","observation_id":"bb567546-87b3-4b7d-ae78-32d1aa94129b","resolution":{"observed_at":"2026-08-06T13:00:22.159377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.10304","last_updated":"2025-05-31T10:23:39Z","snapshot_observed_at":"2026-08-16T14:00:36.776293Z","submitted_at":"2024-04-16T06:20:06Z","title":"LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.10304","snapshot_observed_at":"2026-08-06T13:00:21.685001Z","title":"Zhang and Mark Harman and Yudong Han and Yun Ma and Yihong Dong and Ge Li and Gang Huang","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.685001Z"},"links":{"cited_paper":"/paper/2404.10304","citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:eb6a6ce07e7e4de1a7eed7f1bfd167576d4ce3ccebd755c6c43b9ec68fc3caee","observation_id":"b8d18c1b-fa88-4e95-903b-a11139434a78","resolution":{"observed_at":"2026-08-06T13:00:21.685001Z","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-06T13:00:22.149104Z","title":"Ouédraogo and Laura Plein and Kader Kaboré and Andrew Habib and Jacques Klein and David Lo and Tegawendé F","venue":null,"work_id":"9f899b6d-78ec-4468-8a8d-da89f055c905","year":2025},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.688495Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:28156e1e4760b5ade61a6c4860a6a6c4e29472c6525c1bd9842d6a8218f272c5","observation_id":"e2972da1-8225-4fa4-8e3f-3d6ac7ff664c","resolution":{"observed_at":"2026-08-06T13:00:22.151762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.140818Z","title":"Should we really use post-hoc tests based on mean-ranks?","venue":null,"work_id":"deb5a2ab-fb31-421f-baef-46c542e685d6","year":2015},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.691281Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:dca57557193957e306035cab89a2d7a6d26a9ec6df30074a5f5fbffd9b2e1eda","observation_id":"98537df7-df7d-4c34-8465-89c72b132a9f","resolution":{"observed_at":"2026-08-06T13:00:22.144125Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.132978Z","title":"A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs","venue":null,"work_id":"2740149f-3398-4439-a4c2-934626028fce","year":2011},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.693809Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:9767fa873300464ade793709a444f45f207fec43a95e02f969b3085ffecfe3db","observation_id":"c7756f2f-3679-4340-8841-038720064433","resolution":{"observed_at":"2026-08-06T13:00:22.135614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.125271Z","title":"OpenMP Aware MHP Analysis for Improved Static Data -Race Detection","venue":null,"work_id":"b87d12f4-0f60-4201-8221-f94e7f5763d8","year":2021},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.696315Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:26e2353618e6bbfcc56f7f5bc5c691a90a0119955af102d4dd6d9872531cfb40","observation_id":"848fb916-6ee5-404d-8fc9-01bc876a3fd3","resolution":{"observed_at":"2026-08-06T13:00:22.128082Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.118139Z","title":"Matsakis and Felix S","venue":null,"work_id":"371ec571-507b-427e-9010-f8c6f537be7b","year":2014},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.699024Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:952131f6700449a9a5d879c53724daa9458711cb4a52c4e5bbc94b8174f889e1","observation_id":"1c46ba78-b9f8-4972-92db-edf45996676d","resolution":{"observed_at":"2026-08-06T13:00:22.120502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1907.07110","last_updated":"2019-07-15T07:45:01Z","snapshot_observed_at":"2026-07-06T08:08:05.915923Z","submitted_at":"2019-07-15T07:45:01Z","title":"DeepRace: Finding Data Race Bugs via Deep Learning","version":1},"cited_work":{"arxiv_id":"1907.07110","doi":null,"metadata_source":"pith","pith_arxiv_id":"1907.07110","snapshot_observed_at":"2026-08-06T13:00:21.820641Z","title":"DeepRace: Finding Data Race Bugs via Deep Learning","venue":"cs.DC","work_id":"8291ed84-bfa9-4bf6-8d00-42d74734d2db","year":2019},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.701757Z"},"links":{"cited_paper":"/paper/1907.07110","citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:06f4204374dd97d1a67355f9b62e063e498f4c08eae2197501be2fae00f1e242","observation_id":"75902280-24c1-45d7-9dac-9a7f07bdc390","resolution":{"observed_at":"2026-08-06T13:00:21.826467Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.110633Z","title":null,"venue":null,"work_id":"0ed55343-29cf-45ba-a096-0cbfefe51dac","year":2020},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.704751Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:20e9deccbd1e3948f264f0795426350736ebe72d9d63cab952b333e6dae10688","observation_id":"1f113979-6033-42aa-9456-53a2076e49cb","resolution":{"observed_at":"2026-08-06T13:00:22.113048Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.103190Z","title":null,"venue":null,"work_id":"4ba26b38-9486-447a-a4d6-8ad95fc1a43c","year":2020},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.707276Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:30589846cf4a631ff14873e049b86f1259fb0f6e2d37ff815f8aa59c400a66c8","observation_id":"ef7991d9-a120-4619-a7ab-634bfc881ccd","resolution":{"observed_at":"2026-08-06T13:00:22.105544Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.095801Z","title":"Engineering Record And Replay For Deployability","venue":null,"work_id":"c50e8a3a-74e9-4f00-aaa0-754621216769","year":2017},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.709656Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:c5dbaa28af25b4c4f85846cd0c1d6ae83353fd6f05f1ad4c4cac4148fc664db8","observation_id":"24a0befb-4bfe-430e-be07-adfa5152e510","resolution":{"observed_at":"2026-08-06T13:00:22.098258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.088412Z","title":"Holzmann","venue":null,"work_id":"a2f260ad-4d52-4370-aa2c-03208826de50","year":1997},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.712434Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:b40e8d2ec73b11f5f93b8ed68754e41fe5638b4961e7c06a018ff49fc594d9b3","observation_id":"e520ce49-4442-4e25-bb74-79802aeb8715","resolution":{"observed_at":"2026-08-06T13:00:22.091017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.080497Z","title":"Clarke and Armin Biere and Richard Raimi and Yunshan Zhu","venue":null,"work_id":"320c227f-54bb-43c3-bae5-a0614a042dcf","year":2001},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.715182Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:e667316d953a0debbd768596752da3915c0450745af8c90fe1463b646ac30887","observation_id":"f3b1729b-3f14-47dd-966e-51f5cb703d16","resolution":{"observed_at":"2026-08-06T13:00:22.083600Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.072856Z","title":"Namjoshi and Richard J","venue":null,"work_id":"67e983dc-c189-4684-8e5d-96d20af3eb6b","year":2016},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.717970Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:f0ae0756af1f7a2a37277544266269a6a368a3ecfa41cdf6bfe1151944a9a333","observation_id":"c26e7651-a60f-4a74-83e5-5a9a7de5ff1a","resolution":{"observed_at":"2026-08-06T13:00:22.075268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.065336Z","title":"Smolka and Radu Grosu","venue":null,"work_id":"5007fa20-3f02-4a7b-b844-a40906e25a8c","year":2019},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.720850Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:0e1e577f934b8fd3831c2226b521a497b63c0c82bcbaa989b5f3399aa4b74247","observation_id":"a674eff3-a5d2-4404-9e3c-baed1fc4403f","resolution":{"observed_at":"2026-08-06T13:00:22.067925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.057471Z","title":"KRACE: Data Race Fuzzing for Kernel File Systems","venue":null,"work_id":"f8eb1bd8-22c9-4fbe-b9a3-77ee3a0b590d","year":2020},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.723788Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:7942fb87b089f8e6e399278680363bf84be9156ed170f72a438872651c6ec583","observation_id":"18591c5d-ea9e-40f8-8478-5792a46fd75f","resolution":{"observed_at":"2026-08-06T13:00:22.060090Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.050131Z","title":"Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics","venue":null,"work_id":"272430a1-2331-4dcc-bc31-a7bf693758ee","year":2008},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.726364Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:58c698566fb66f916844981a2971780ca17b649df597fea268ee32e3ae1928df","observation_id":"2e79dc52-5dfb-407d-b727-b46b184e47ea","resolution":{"observed_at":"2026-08-06T13:00:22.052725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.042521Z","title":"Engler and Joseph C","venue":null,"work_id":"9a551ff9-4ef0-4f95-a7a3-84f313ec8593","year":2008},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.729225Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:21fa2801552307cc8674048c4e3076fd11f058adea056f045c03224f23a3e645","observation_id":"0fe34674-9790-469b-b612-598fb397076e","resolution":{"observed_at":"2026-08-06T13:00:22.045292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.034521Z","title":"RACEBENCH: A Benchmark Suite for Data Race Detection Tools","venue":null,"work_id":"c2f5e330-b843-4594-8255-72ab0f2efcdd","year":2011},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.731810Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:8c877831261c0441d7e84688990d82b8c0e87ecc722d84620db4715adbc154a7","observation_id":"57703c71-af2f-457a-8438-3486a08d7a5d","resolution":{"observed_at":"2026-08-06T13:00:22.037310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.026491Z","title":"ConSeq: Detecting Concurrency Bugs Through Sequential Errors","venue":null,"work_id":"343e4b91-9782-49c5-8ca5-d4ab1ccec3dd","year":2011},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.734447Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:b0b5c6711f227e82c057199a9d3bb62b476b5885c6996959a0cb95ac4b8f739f","observation_id":"35c95905-c619-4be7-9715-5b513452a40b","resolution":{"observed_at":"2026-08-06T13:00:22.029388Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.018700Z","title":"JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs","venue":null,"work_id":"7985daec-77f2-4111-802d-080221acdc1a","year":2015},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.736964Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:ab7b8da2f50f0081b72f1ff31b927523cd3bc50b8e111e5b725cd4a1b59d906e","observation_id":"e35a05af-f9b7-441b-a561-c5b580f3b7af","resolution":{"observed_at":"2026-08-06T13:00:22.021531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.010798Z","title":"Defects4J","venue":null,"work_id":"2bf33fee-d0cd-4aa8-8482-19ff5f19216d","year":2014},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.739562Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:308e49c04fb42ed2ee7a8cc4695ca8c4a7650e75ac3c5bf5cc3a4be7bb66c0ea","observation_id":"b1008cbb-3b97-4875-8d2a-0d0edbe1118b","resolution":{"observed_at":"2026-08-06T13:00:22.013502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:22.002325Z","title":"BEARS: An Extensible Java Bug Benchmark for Automatic Program Repair Studies","venue":null,"work_id":"1d4d919f-2802-4d36-b9dc-e085b89f34f3","year":2019},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.742134Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:3cd34463c9bdfb24aacf1a46fd34623a3212ba1d28db786cfdc014744dab8207","observation_id":"6b093660-baa9-4db4-b320-a9e15c9ee0b1","resolution":{"observed_at":"2026-08-06T13:00:22.005203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.993869Z","title":"How Often Do Single -Statement Bugs Occur?: The ManySStuBs4J Dataset","venue":null,"work_id":"7842ff4b-49dc-43d4-959b-1235c7e771ba","year":2020},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.744767Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:dda4d79d85b6825a7a5d40b84f1f15561990b02d4dbffad7e653f6a3ee6838d5","observation_id":"994fe532-6c87-4036-9ad7-e6c05c4b7407","resolution":{"observed_at":"2026-08-06T13:00:21.996812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.986115Z","title":"Understanding Real-World Concurrency Bugs in Go","venue":null,"work_id":"aeef2dff-02d7-49dc-bb89-fe8ffe054180","year":2019},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.747753Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:2a7ed21c8b335bf9755c8405493fdbedba6d8cd62b3b44475aa74eaaf1995ffa","observation_id":"7060a40f-57d1-46ae-9701-b53b31a916a8","resolution":{"observed_at":"2026-08-06T13:00:21.988745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.978586Z","title":"GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs","venue":null,"work_id":"a3074ff1-88f9-4b75-8f08-92753b57984b","year":2021},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.750157Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:a777a088eaf5a84bd90be6c71789a4aafc85ef7f9ad6282209ed45202a146eda","observation_id":"90b22543-c55b-4cd7-8f36-aac6312e6a06","resolution":{"observed_at":"2026-08-06T13:00:21.981162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.970940Z","title":"ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts","venue":null,"work_id":"905b4fee-477d-4152-8096-f181919de817","year":2021},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.752802Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:b15f80778af2b1df75e38350a49bd9cbcbfb5a3650505133e97d4546cab3372e","observation_id":"ecbd503e-587a-4334-990b-8122990bdb18","resolution":{"observed_at":"2026-08-06T13:00:21.973516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.963459Z","title":"DART: Directed Automated Random Testing","venue":null,"work_id":"8d3e1108-3de6-44ff-9a22-5befead35904","year":2005},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.755459Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:01206c3dc62e5561adc6cf5279d2d1995a0fddacc077bccffb2a75709e2b70b2","observation_id":"f97ee066-1953-4c1d-be07-34b605bbc928","resolution":{"observed_at":"2026-08-06T13:00:21.966005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.955917Z","title":"and Grumberg, Orna and Jha, Somesh and Lu, Yuan and Veith, Helmut","venue":null,"work_id":"c6ad5c78-2f44-4547-8a19-eaf2d2759433","year":2000},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.758177Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:fd1e6c4837f573f68c789108ee3c75886432f234d0e72071b3e0066f7208833d","observation_id":"922b24d4-0353-40fd-8269-8668758d2919","resolution":{"observed_at":"2026-08-06T13:00:21.958632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.948563Z","title":"Bianchi and Mauro Pezzè","venue":null,"work_id":"b4f3fcc8-c7d6-45a4-ac92-1d4b96b456c3","year":2017},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.761052Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:f3013b3b643a8ef160473bed355693a6f39f7c3a21b51601f54ca2830d697851","observation_id":"678232e2-49f9-4d60-b247-24dbd7f1217f","resolution":{"observed_at":"2026-08-06T13:00:21.950925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.940829Z","title":"Artificial Intelligence Applied to Software Testing: A Tertiary Study","venue":null,"work_id":"bc85d646-5d2d-4ff9-a21b-18f514b7e171","year":2023},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.763930Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:9a8ce2f5e737a34ce92c938754d2119a60984efa13ff364e277488c2ee3790af","observation_id":"ed8c7773-1679-4f11-aef1-07001c517574","resolution":{"observed_at":"2026-08-06T13:00:21.943514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.932508Z","title":"Probabilistic Concurrency Testing for Weak Memory Programs","venue":null,"work_id":"6e25d4aa-3ae6-4889-8a6b-79292295e7dc","year":2023},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.766723Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:9076e8afaae4379faa720814efc2ddfb6ddb374419cfb68b575d51c733cecc23","observation_id":"e4bafd29-c429-4e21-9041-99d0eb8fa784","resolution":{"observed_at":"2026-08-06T13:00:21.935335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.924014Z","title":"Effective Concurrency Testing for Go via Directional Primitive Scheduling","venue":null,"work_id":"1591217f-30d2-487b-aced-5568207f0b9c","year":2023},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.769182Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:0652601c22f3ca87d2c3c7bfa5fbad45bf484f455331a10906ef8a5239bb4a6e","observation_id":"31d119ec-ffbb-4ed1-acab-7e315cfa1082","resolution":{"observed_at":"2026-08-06T13:00:21.926918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.914989Z","title":"Fray: An Efficient General-Purpose Concurrency Testing Platform for JVM","venue":null,"work_id":"2d3e7d57-433a-4e9b-8b4e-156c709f6365","year":2025},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.772080Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:fc560db629569618c42e56118f45be76eba4cff9623048fcfab2be4b88152c98","observation_id":"96afa68e-fca5-44b7-aada-b4b350d3aefc","resolution":{"observed_at":"2026-08-06T13:00:21.917791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.906641Z","title":"Concurrency Testing in the Linux Kernel via eBPF","venue":null,"work_id":"b7153334-f0fb-4695-b54a-8e5fe5523dc0","year":2025},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.774595Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:a893e374658928881de8de39b47023a502615bdc45a47900b05a3011f01e5c60","observation_id":"94b07e8c-eda4-4b99-91c0-d8b91940d6ea","resolution":{"observed_at":"2026-08-06T13:00:21.909455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.898631Z","title":"CARDSHARK: Understanding and Stabilizing Linux Kernel Concurrency Bugs Against the Odds","venue":null,"work_id":"e1b9d630-3b4a-4a3c-97ad-55bdda2ff386","year":2024},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.777112Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:c0f1af0819d4e1d69aa676afa00b0242c0435aca71035419e8f573f91b128575","observation_id":"0fcaa81e-0f28-4e11-8a73-db2bff1b8fbf","resolution":{"observed_at":"2026-08-06T13:00:21.901432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.889625Z","title":"and Rowe, Anthony","venue":null,"work_id":"e0ce8b6f-65a1-48f7-9d83-06055344ead9","year":2025},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.779778Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:5b764f1371aa19745807ffed1762b851dde7c787de6077c9c08aafcf716563ea","observation_id":"e4532725-7a59-41c3-abd7-18f4782c15ea","resolution":{"observed_at":"2026-08-06T13:00:21.892953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.880493Z","title":"On the Effect of Instrumentation on Test Flakiness","venue":null,"work_id":"8d8cb00c-b379-4cb6-a546-0c00a82a80b0","year":2023},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.782576Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:e393c45fd5c661d81c430b68f7b22d153e40c979855fd1182c3dab440a9e99e5","observation_id":"88aac81a-6c3d-428a-82f5-7d391accf6ca","resolution":{"observed_at":"2026-08-06T13:00:21.883344Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.871576Z","title":"Nekara: A Generalized Concurrency Testing Library","venue":null,"work_id":"d7c1786e-23d3-4c8f-8d46-f3ae3f6f2839","year":2021},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.785171Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:4ca17d13bb355f9df46bc0b15cdcfac5c9ac3107676e7cc71eb74571246e8ae3","observation_id":"7e12311e-b6fc-4c80-97f9-683a9926e287","resolution":{"observed_at":"2026-08-06T13:00:21.874676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.862132Z","title":"Fast simulation of rare events in queueing and reliability models","venue":null,"work_id":"cbfa7f32-8d90-4571-80e5-6e17204bde0b","year":1995},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.787797Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:1ea0056e5343ac3eb97ed8b9a0a04285b2bee98d959a1e2b1b99e8ccd6b6c255","observation_id":"c7d2c2b0-5553-4cec-96e8-2e8750009c8b","resolution":{"observed_at":"2026-08-06T13:00:21.865662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.852744Z","title":"Younes and Reid G","venue":null,"work_id":"257380bb-7454-46a6-b4c7-089f42e1ac46","year":2006},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.790318Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:598cf6481f9ce9e5f1c27fff82aebd5a4463f45c22be1725ac7298786c4c0455","observation_id":"efa66e80-09af-4092-865b-4ba74e9ca4ab","resolution":{"observed_at":"2026-08-06T13:00:21.855872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T13:00:21.842970Z","title":"Selectively Uniform Concur- rency Testing","venue":null,"work_id":"63406420-5baa-45ce-aecc-9c979a706efb","year":2025},"citing_paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T13:00:21.792859Z"},"links":{"citing_paper":"/paper/2507.21318"},"observation_digest":"sha256:7c036f82239691f316f83d9a2c25c0d22ec708ba25b18b36f494962da1ae57f8","observation_id":"489967e6-7d1b-4e8d-8a88-02caf444055b","resolution":{"observed_at":"2026-08-06T13:00:21.846007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.21318","last_updated":"2025-07-28T20:20:04Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T18:33:15.731688Z","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":1,"verified_fuzzy":49},"total_outbound_references":55},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2507.21318."}