{"as_of":"2026-08-20T00:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fada21664dc75c275e6f23b020e58bee7da1dde4b391e4fdf41171960fae284c","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T04:33:19.050344Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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/2608.05399/citation-record","integrity":"/paper/2608.05399/integrity","json":"/paper/2608.05399/citation-record.json","paper":"/paper/2608.05399"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T04:33:18.858870Z","title":"Dafny: An automatic program verifier for functional correctness,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.858870Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:5e838dcff902b8a82321fc053d16ed7e56683ea0fb4c120caa91654495631eef","observation_id":"0e127238-b24c-4e9e-b043-17fa58ff515b","resolution":{"observed_at":"2026-08-10T04:33:18.858870Z","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-10T04:33:18.864941Z","title":"Verus: Verifying rust programs using linear ghost types,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.864941Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:35c90828b7806163ceb43242c4c0996bbe4fc51773757d041546721667f0fe06","observation_id":"7e42bab8-b9f2-47ca-9339-d4cb2bc0ba7f","resolution":{"observed_at":"2026-08-10T04:33:18.864941Z","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-10T04:33:18.870116Z","title":"Automated fixing of programs with contracts,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.870116Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:5c1b2d6dec63816c335f9b056b17cee7e4b5318238ee373d0a85ed45eb2b620d","observation_id":"73654ad2-d15b-494b-9c27-a6036e8e2e51","resolution":{"observed_at":"2026-08-10T04:33:18.870116Z","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-10T04:33:18.875438Z","title":"Eiffel: A language and environment for software engineer- ing,","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.875438Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:297142a0af9fd36ccef368c3a78dc2d79fc238b7901f73534eea0ead72906ffb","observation_id":"375afe00-bb58-4c4f-83f0-69fb9c288d23","resolution":{"observed_at":"2026-08-10T04:33:18.875438Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-10T04:33:18.881036Z","title":"Dafnybench: A benchmark for formal software verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.881036Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:38be6b2b802653d26896d45c6a75c143902e6bfac84dee71e860be6235f7ff64","observation_id":"d0e32ff9-a735-4512-88c7-14fc0ab5a0ce","resolution":{"observed_at":"2026-08-10T04:33:18.881036Z","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-10T04:33:18.886310Z","title":"Mutdafny: A mutation-based approach to assess dafny specifications,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.886310Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:7f4e7536b6c77376c601de8e507f3dd4c3987084c9cdad2c4552445f09e074dc","observation_id":"481c87ce-7344-43f3-8afb-021ecb1aaff1","resolution":{"observed_at":"2026-08-10T04:33:18.886310Z","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-10T04:33:18.892906Z","title":"Using test oracles generated from program documentation,","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.892906Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:95e1727e98c7b862d7cc2106d0f6c673c5f0a5e39e2a14824fd07b0602eb8378","observation_id":"b8dab1a6-1157-473c-9569-8f7f78a1c408","resolution":{"observed_at":"2026-08-10T04:33:18.892906Z","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-10T04:33:18.898122Z","title":"A simple and practical approach to unit testing: The jml and junit way,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.898122Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:752f20c99e515f301f2cf76ede66c6485bdeef0678aa74811ea84b5510f31adb","observation_id":"d178432e-88a1-4da0-85cd-45e0c81b4eb7","resolution":{"observed_at":"2026-08-10T04:33:18.898122Z","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-10T04:33:18.902893Z","title":"Approaches to specification- based testing,","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.902893Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:2752a61fb23003159b01ad82bfbcb157d8feb122b52bc3e71d61f4539479d276","observation_id":"d1fd6313-da2b-4fee-9a60-dc07a06dea83","resolution":{"observed_at":"2026-08-10T04:33:18.902893Z","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-10T04:33:18.907256Z","title":"Specification based testing: Towards practice,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.907256Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:41ba1f8655d8b11190834371adf28fb05363aaba84db03d84f8658bc0d880107","observation_id":"1e8a03d6-3278-404c-ac18-befc69383995","resolution":{"observed_at":"2026-08-10T04:33:18.907256Z","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-10T04:33:18.911628Z","title":"Programs that test themselves,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.911628Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:7eac5cca2523f35cb1b0f341093b1b99df77a662d45ade86ee992a9105fd74e5","observation_id":"38933054-ed58-4d47-9936-d04d691c9383","resolution":{"observed_at":"2026-08-10T04:33:18.911628Z","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-10T04:33:18.916513Z","title":"Delfy: Dynamic test generation for dafny,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.916513Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:9f0292a91f655867a55f3ac60098e7c9a5e4112c2122b4161d7bb4c36cb656be","observation_id":"050da25f-6184-4188-810a-c3b21cb9e482","resolution":{"observed_at":"2026-08-10T04:33:18.916513Z","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-10T04:33:18.921504Z","title":"Integrated en- vironment for diagnosing verification errors,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.921504Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:98a10c7eec592a2a3e1ab510d09b0e8ed4b3cb0fe7e1c844c6887359dc03c130","observation_id":"ca4292d2-4196-4f51-b157-b281cf851030","resolution":{"observed_at":"2026-08-10T04:33:18.921504Z","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-10T04:33:18.926031Z","title":"A toolkit for automated testing of dafny,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.926031Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:7b7ad88b268eb51447f4c2cfe42deccfd9fd99ba30c4c60eb3346165c17c6123","observation_id":"fb6cb3e1-381c-4c0d-988d-2d037cfd9671","resolution":{"observed_at":"2026-08-10T04:33:18.926031Z","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-10T04:33:18.930346Z","title":"The daikon system for dynamic detection of likely invariants,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.930346Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:7ff20eae028c01f2e8a787204a566fcdc7cebdd8e29d1f61de029b09113357f1","observation_id":"7327e9c8-739b-4316-bbdc-9654787f37a8","resolution":{"observed_at":"2026-08-10T04:33:18.930346Z","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-10T04:33:18.934937Z","title":"Automated fault localization using potential invariants,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.934937Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:2b5fd31ace8bcbed272f2b5c98943e235b173752c83b56b61183fc7ccc6b0d34","observation_id":"028c2223-817d-44b3-9f55-ea7975eb20ae","resolution":{"observed_at":"2026-08-10T04:33:18.934937Z","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-10T04:33:18.939113Z","title":"Visualization of test information to assist fault localization,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.939113Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:c03be9483cb0e589015b51a3aa2dc5a75b855b43ed66cb2c3f356a060c4d1b5c","observation_id":"919d4019-f7e7-45a4-92b1-aa5919834421","resolution":{"observed_at":"2026-08-10T04:33:18.939113Z","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-10T04:33:18.944213Z","title":"An evaluation of sim- ilarity coefficients for software fault localization,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.944213Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:0f84d0478e013e6b937b1e319c52953d3a58703f903d08047b63d99aca3034df","observation_id":"35a8a53a-0bb0-4036-8cd4-bff599a3e8a2","resolution":{"observed_at":"2026-08-10T04:33:18.944213Z","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-10T04:33:18.949259Z","title":"The dstar method for effective software fault localization,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.949259Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:f6fa5dfd98bfe2dc4607c3602e5503de9aaf3106f1ee75e15d7d0f7634c0aa02","observation_id":"0548222d-c36a-4d34-9ab6-4db93574a420","resolution":{"observed_at":"2026-08-10T04:33:18.949259Z","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-10T04:33:18.954250Z","title":"On the accuracy of spectrum-based fault localization,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.954250Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:beeedcc7f5f56c2a9ecfd4a08d2e09f0884c22477f2a1d9e5bb5692183890894","observation_id":"7ed9a243-1045-4238-828c-15ae6ef13671","resolution":{"observed_at":"2026-08-10T04:33:18.954250Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2603.00729","last_updated":"2026-02-28T16:25:04Z","snapshot_observed_at":"2026-08-14T11:50:51.747505Z","submitted_at":"2026-02-28T16:25:04Z","title":"Qwen3-Coder-Next Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.00729","snapshot_observed_at":"2026-08-10T04:33:18.959344Z","title":"Qwen3-coder-next technical report,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.959344Z"},"links":{"cited_paper":"/paper/2603.00729","citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:21a7d7fb125d18d66d8122156ac78a084401e41969803578fee8e343110e79d9","observation_id":"14cd397d-7b10-41ad-b824-c496209ddb5a","resolution":{"observed_at":"2026-08-10T04:33:18.959344Z","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-10T04:33:18.964520Z","title":"How hard does mutation analysis have to be, anyway?,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.964520Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:e64d8adeff450f5a1022e3cb81040367d8d9792c4e52bfb59f3deff5605b5a7e","observation_id":"02a32bec-8eef-456c-827a-83750224dbf4","resolution":{"observed_at":"2026-08-10T04:33:18.964520Z","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-10T04:33:18.970097Z","title":"Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.970097Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:4876fef0f116d3d702732dc1e0842b620c5981f6f9bffad20e58ccbcae7c3e9d","observation_id":"4723b7a7-f8a6-4643-b3f1-788e29aae482","resolution":{"observed_at":"2026-08-10T04:33:18.970097Z","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-10T04:33:18.975031Z","title":"Evaluating and improving fault localization,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.975031Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:be6d7dc5e285dd9e18fd14c584c43376c5f88e1db348a06469b94b10440d95b4","observation_id":"901ed7d0-96f3-4880-aa60-f28eb4bab048","resolution":{"observed_at":"2026-08-10T04:33:18.975031Z","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-10T04:33:18.979976Z","title":"Laurel: Unblocking automated verification with large language mod- els,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.979976Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:b335214f281fb8050a7ef58b6770a69efc132d6f7d269d94255c50ccce893262","observation_id":"3ca025e0-c3ec-474c-9b16-e1d2da318e60","resolution":{"observed_at":"2026-08-10T04:33:18.979976Z","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-10T04:33:18.984635Z","title":"Test case purification for improving fault localization,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.984635Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:26ead977ab7dd3391785bd2cc14e66a2d5ae2b6cacb7650896501720cd61fb71","observation_id":"f9baf466-86ac-4825-9486-7ddc23bf8161","resolution":{"observed_at":"2026-08-10T04:33:18.984635Z","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-10T04:33:18.989350Z","title":"Mure: making use of mutations to refine spectrum-based fault localization,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.989350Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:6965da0f1010601f226f8c80a0a7054be17834d8115bd4ff82f0e5b620d772b9","observation_id":"0a634b17-c904-4286-a16d-a6fb077a69fc","resolution":{"observed_at":"2026-08-10T04:33:18.989350Z","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-10T04:33:18.995631Z","title":"Empirical evaluation of the tarantula automatic fault-localization technique,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.995631Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:50cc4399a9483893978a26da7ef2f54d42e43595c3a4efab9c2b848964da6f2a","observation_id":"784210bf-15b3-4db2-9521-927d0a5f711e","resolution":{"observed_at":"2026-08-10T04:33:18.995631Z","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-10T04:33:19.002230Z","title":"Spectrum-based multi- ple fault localization,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:19.002230Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:efa4153caa2800c9b37e42f2cd55eeb1539f575b3753f9aba06474da48c30578","observation_id":"0943a160-aa71-4645-9f40-9e86f4d96e7e","resolution":{"observed_at":"2026-08-10T04:33:19.002230Z","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-10T04:33:19.007317Z","title":"Ask the mutants: Mutating faulty programs for fault localization,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:19.007317Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:20e1b8afc6f1d8109986e681dec1aee093d1ed8f39659ff7dfd30db4985425de","observation_id":"3945a1bd-cc1d-47af-ba48-264e6a1ce791","resolution":{"observed_at":"2026-08-10T04:33:19.007317Z","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-10T04:33:19.013955Z","title":"Metallaxis-fl: mutation-based fault localization,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:19.013955Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:6d37d07cc519e8164980c34b3311cd2564bb9f932ca0e9b948b2bfaa9c6e8ffd","observation_id":"399cab3b-9c84-424c-822b-9ce7dca44455","resolution":{"observed_at":"2026-08-10T04:33:19.013955Z","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-10T04:33:19.020040Z","title":"Automatic program repair using formal verification and expression templates,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:19.020040Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:5ff42ead168b0684b4ee6d3bbc111adc3738031e8c12763b61ba0a38e598b3b6","observation_id":"5078f2a6-1b5a-44e5-919d-33ffd21f3259","resolution":{"observed_at":"2026-08-10T04:33:19.020040Z","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-10T04:33:19.026350Z","title":"Specification-guided repair of arithmetic errors in dafny programs using LLMs,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:19.026350Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:083eac9222322bdc940b85e31790cb5c27bc059bf32fb47486d17ed7b670331d","observation_id":"b8f0b015-57d5-4f74-ac53-96dc3b492b60","resolution":{"observed_at":"2026-08-10T04:33:19.026350Z","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-10T04:33:19.032090Z","title":"Automated test generation and mutation testing for alloy,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:19.032090Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:5b8b8dfc0ca792473423a5b77f556cea10945092e86d34fef3d071fc1ab14b7c","observation_id":"a615b46f-5b78-433f-8521-eb562ac93bea","resolution":{"observed_at":"2026-08-10T04:33:19.032090Z","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-10T04:33:19.040637Z","title":"Flack: Counterexample-guided fault localization for alloy models,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:19.040637Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:71e489dd5274f2d07c6c661ebb5fa326454778e6c0f192b1d2c74342dd9b47af","observation_id":"7e03c951-aca1-45a1-bbf9-247801bd28f3","resolution":{"observed_at":"2026-08-10T04:33:19.040637Z","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-10T04:33:19.050344Z","title":"Fault localization on verification witnesses,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:19.050344Z"},"links":{"citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:c5d37f2a3a7d50b33f8736a663fd83af83789b823a2fbc223771d7173ee7682c","observation_id":"3dba7906-b7a4-4871-89f2-71987c3b0436","resolution":{"observed_at":"2026-08-10T04:33:19.050344Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":36,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":36},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2608.05399."}