Paper Citation Record · LEDGER

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny

As of 19 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2608.05399.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.05399 v2

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T04:33:19.050344Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact0
verified fuzzy0
unresolved36
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0e127238-b24c-4e9e-b043-17fa58ff515b · outbound

This paper cites Dafny: An automatic program verifier for functional correctness,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Dafny: An automatic program verifier for functional correctness,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.858870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e42bab8-b9f2-47ca-9339-d4cb2bc0ba7f · outbound

This paper cites Verus: Verifying rust programs using linear ghost types,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Verus: Verifying rust programs using linear ghost types,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.864941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73654ad2-d15b-494b-9c27-a6036e8e2e51 · outbound

This paper cites Automated fixing of programs with contracts,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Automated fixing of programs with contracts,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.870116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 375afe00-bb58-4c4f-83f0-69fb9c288d23 · outbound

This paper cites Eiffel: A language and environment for software engineer- ing,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Eiffel: A language and environment for software engineer- ing,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.875438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0e32ff9-a735-4512-88c7-14fc0ab5a0ce · outbound

This paper cites DafnyBench: A Benchmark for Formal Software Verification.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny DafnyBench: A Benchmark for Formal Software Verification

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.881036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 481c87ce-7344-43f3-8afb-021ecb1aaff1 · outbound

This paper cites Mutdafny: A mutation-based approach to assess dafny specifications,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Mutdafny: A mutation-based approach to assess dafny specifications,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.886310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8dab1a6-1157-473c-9569-8f7f78a1c408 · outbound

This paper cites Using test oracles generated from program documentation,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Using test oracles generated from program documentation,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.892906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d178432e-88a1-4da0-85cd-45e0c81b4eb7 · outbound

This paper cites A simple and practical approach to unit testing: The jml and junit way,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny A simple and practical approach to unit testing: The jml and junit way,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.898122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1fd6313-da2b-4fee-9a60-dc07a06dea83 · outbound

This paper cites Approaches to specification- based testing,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Approaches to specification- based testing,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.902893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e8a03d6-3278-404c-ac18-befc69383995 · outbound

This paper cites Specification based testing: Towards practice,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Specification based testing: Towards practice,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.907256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38933054-ed58-4d47-9936-d04d691c9383 · outbound

This paper cites Programs that test themselves,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Programs that test themselves,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.911628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 050da25f-6184-4188-810a-c3b21cb9e482 · outbound

This paper cites Delfy: Dynamic test generation for dafny,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Delfy: Dynamic test generation for dafny,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.916513Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca4292d2-4196-4f51-b157-b281cf851030 · outbound

This paper cites Integrated en- vironment for diagnosing verification errors,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Integrated en- vironment for diagnosing verification errors,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.921504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb6cb3e1-381c-4c0d-988d-2d037cfd9671 · outbound

This paper cites A toolkit for automated testing of dafny,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny A toolkit for automated testing of dafny,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.926031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7327e9c8-739b-4316-bbdc-9654787f37a8 · outbound

This paper cites The daikon system for dynamic detection of likely invariants,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny The daikon system for dynamic detection of likely invariants,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.930346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 028c2223-817d-44b3-9f55-ea7975eb20ae · outbound

This paper cites Automated fault localization using potential invariants,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Automated fault localization using potential invariants,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.934937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 919d4019-f7e7-45a4-92b1-aa5919834421 · outbound

This paper cites Visualization of test information to assist fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Visualization of test information to assist fault localization,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.939113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35a8a53a-0bb0-4036-8cd4-bff599a3e8a2 · outbound

This paper cites An evaluation of sim- ilarity coefficients for software fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny An evaluation of sim- ilarity coefficients for software fault localization,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.944213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0548222d-c36a-4d34-9ab6-4db93574a420 · outbound

This paper cites The dstar method for effective software fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny The dstar method for effective software fault localization,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.949259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ed9a243-1045-4238-828c-15ae6ef13671 · outbound

This paper cites On the accuracy of spectrum-based fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny On the accuracy of spectrum-based fault localization,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.954250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14cd397d-7b10-41ad-b824-c496209ddb5a · outbound

This paper cites Qwen3-Coder-Next Technical Report.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Qwen3-Coder-Next Technical Report

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.959344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02a32bec-8eef-456c-827a-83750224dbf4 · outbound

This paper cites How hard does mutation analysis have to be, anyway?,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny How hard does mutation analysis have to be, anyway?,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.964520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4723b7a7-f8a6-4643-b3f1-788e29aae482 · outbound

This paper cites Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.970097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 901ed7d0-96f3-4880-aa60-f28eb4bab048 · outbound

This paper cites Evaluating and improving fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Evaluating and improving fault localization,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.975031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ca025e0-c3ec-474c-9b16-e1d2da318e60 · outbound

This paper cites Laurel: Unblocking automated verification with large language mod- els,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Laurel: Unblocking automated verification with large language mod- els,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.979976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9baf466-86ac-4825-9486-7ddc23bf8161 · outbound

This paper cites Test case purification for improving fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Test case purification for improving fault localization,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.984635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a634b17-c904-4286-a16d-a6fb077a69fc · outbound

This paper cites Mure: making use of mutations to refine spectrum-based fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Mure: making use of mutations to refine spectrum-based fault localization,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.989350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 784210bf-15b3-4db2-9521-927d0a5f711e · outbound

This paper cites Empirical evaluation of the tarantula automatic fault-localization technique,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Empirical evaluation of the tarantula automatic fault-localization technique,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:18.995631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0943a160-aa71-4645-9f40-9e86f4d96e7e · outbound

This paper cites Spectrum-based multi- ple fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Spectrum-based multi- ple fault localization,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:19.002230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3945a1bd-cc1d-47af-ba48-264e6a1ce791 · outbound

This paper cites Ask the mutants: Mutating faulty programs for fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Ask the mutants: Mutating faulty programs for fault localization,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:19.007317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 399cab3b-9c84-424c-822b-9ce7dca44455 · outbound

This paper cites Metallaxis-fl: mutation-based fault localization,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Metallaxis-fl: mutation-based fault localization,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:19.013955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5078f2a6-1b5a-44e5-919d-33ffd21f3259 · outbound

This paper cites Automatic program repair using formal verification and expression templates,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Automatic program repair using formal verification and expression templates,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:19.020040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8f0b015-57d5-4f74-ac53-96dc3b492b60 · outbound

This paper cites Specification-guided repair of arithmetic errors in dafny programs using LLMs,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Specification-guided repair of arithmetic errors in dafny programs using LLMs,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:19.026350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a615b46f-5b78-433f-8521-eb562ac93bea · outbound

This paper cites Automated test generation and mutation testing for alloy,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Automated test generation and mutation testing for alloy,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:19.032090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e03c951-aca1-45a1-bbf9-247801bd28f3 · outbound

This paper cites Flack: Counterexample-guided fault localization for alloy models,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Flack: Counterexample-guided fault localization for alloy models,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:19.040637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dba7906-b7a4-4871-89f2-71987c3b0436 · outbound

This paper cites Fault localization on verification witnesses,.

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny Fault localization on verification witnesses,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T04:33:19.050344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.