Paper Citation Record · LEDGER

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis

As of 15 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2607.15762.

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

pith.paper-citation-record.v1
2607.15762 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T22:26:31.442582Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

40 of 40 outbound references displayed

verified exact1
verified fuzzy0
unresolved39
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9a3a9aac-1a6a-4e05-a9c2-c9d71fc2cd46 · outbound

This paper cites A Survey of Compiler Testing,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis A Survey of Compiler Testing,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:27.643581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f2bef23-270c-457d-a295-5f5df37befb3 · outbound

This paper cites Finding and understanding bugs in C compilers,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Finding and understanding bugs in C compilers,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:27.712850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dbf73c0-30cb-493a-9215-4ce626d03afa · outbound

This paper cites CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:27.790000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a220f3e-3ff3-4e6d-aa8e-420816ad9c73 · outbound

This paper cites Random testing for C and C++ compilers with Y ARPGen,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Random testing for C and C++ compilers with Y ARPGen,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:27.873417Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc9437da-5dd9-4e9d-8974-f427b79edb39 · outbound

This paper cites Fuzzing with code fragments,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Fuzzing with code fragments,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:27.930090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52d6798a-02cb-43bc-a160-78ff929a68bb · outbound

This paper cites Compiler validation via equivalence modulo inputs,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Compiler validation via equivalence modulo inputs,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:27.998535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c506c26-eff1-4b5b-a711-5add3c71ed28 · outbound

This paper cites Finding deep compiler bugs via guided stochastic program mutation,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Finding deep compiler bugs via guided stochastic program mutation,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:28.169729Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf2c40e8-7090-4e20-a673-48182efc37da · outbound

This paper cites Boosting Compiler Testing by Injecting Real-World Code,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Boosting Compiler Testing by Injecting Real-World Code,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:28.260503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98bd1fa1-7a9c-4151-b1e5-d9d67762b331 · outbound

This paper cites GrayC: Greybox Fuzzing of Compilers and Analysers for C,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis GrayC: Greybox Fuzzing of Compilers and Analysers for C,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:28.433135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a248522-f1db-4ece-920a-e693dd8a6169 · outbound

This paper cites Coverage-guided tensor compiler fuzzing with joint IR-pass mutation,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Coverage-guided tensor compiler fuzzing with joint IR-pass mutation,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:28.552803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6f789f8-dd59-45fd-b001-7ef1b43a1025 · outbound

This paper cites Generating focused random tests using directed swarm testing,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Generating focused random tests using directed swarm testing,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:28.715403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea2b0212-41c7-4fd5-88ee-583d17bb3fcf · outbound

This paper cites Fuzz4All: Universal Fuzzing with Large Language Models,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Fuzz4All: Universal Fuzzing with Large Language Models,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:28.917634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8f3354e-e6b0-495d-914a-e6769f47e496 · outbound

This paper cites WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.011453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 350f586c-8aa9-44f8-967e-5fbc0de7a6f6 · outbound

This paper cites LegoFuzz: Interleaving Large Language Models for Compiler Testing,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis LegoFuzz: Interleaving Large Language Models for Compiler Testing,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.143636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f691ea40-47f9-4e70-9175-6b062c4862df · outbound

This paper cites Optimization-Directed Compiler Fuzzing for Continuous Translation Validation,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Optimization-Directed Compiler Fuzzing for Continuous Translation Validation,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.247272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 935cccfb-a00f-459a-bd9a-4ace52dcc0b6 · outbound

This paper cites Alive: Provably Correct InstCombine Optimizations,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Alive: Provably Correct InstCombine Optimizations,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.325458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cf7a418-0c19-4b5e-8c48-b8a322c90a0b · outbound

This paper cites Symbolic execution and program testing,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Symbolic execution and program testing,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.374858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a0d9520-6163-4f4c-9ad1-a8ae60f3db70 · outbound

This paper cites GNU Compiler Collection,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis GNU Compiler Collection,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.490090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 008e7c47-b03b-4a78-856f-30ea2f8addf5 · outbound

This paper cites The LLVM Compiler Infrastructure,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis The LLVM Compiler Infrastructure,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.536355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6971755e-0774-4cef-9827-73cbfe7ab890 · outbound

This paper cites gcov—a Test Coverage Program,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis gcov—a Test Coverage Program,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.572238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db7264e2-6f4e-4114-92dd-c11102df53ab · outbound

This paper cites Learning Deep Semantics for Test Completion,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Learning Deep Semantics for Test Completion,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.622274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf3f992d-3b02-46ef-b0d1-da449213bc13 · outbound

This paper cites CodeT5: Identifier- aware Unified Pre-trained Encoder-Decoder Models for Code Under- standing and Generation,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis CodeT5: Identifier- aware Unified Pre-trained Encoder-Decoder Models for Code Under- standing and Generation,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.671971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c84dc5b4-7df8-4748-9610-f7bf44aeadb0 · outbound

This paper cites TestPilot,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis TestPilot,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.739260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 401d17c3-79dd-43a6-b0ad-62619fe39476 · outbound

This paper cites Introducing Codex,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Introducing Codex,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.839455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7d2c6a6-79af-4df6-ab6f-9b3167cc4b8d · outbound

This paper cites Effective test generation using pre-trained Large Language Models and mutation testing,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Effective test generation using pre-trained Large Language Models and mutation testing,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.916940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 500dfbe8-74f5-4e50-9766-6ad0b788d05b · outbound

This paper cites ChatUniTest: A Framework for LLM-Based Test Generation,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis ChatUniTest: A Framework for LLM-Based Test Generation,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:29.962206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb06b986-a5e0-42ea-83ec-881591ce635e · outbound

This paper cites ChatGPT,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis ChatGPT,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.018560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cc407ec-96d2-4f63-9fbc-5a7fa535a325 · outbound

This paper cites CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.078024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83b292fa-4e19-4792-a994-cae277c944db · outbound

This paper cites ChatGPT vs SBST: A Compar- ative Assessment of Unit Test Suite Generation,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis ChatGPT vs SBST: A Compar- ative Assessment of Unit Test Suite Generation,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.176415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f1d93d7-6e71-4c8b-802f-b8c13407a197 · outbound

This paper cites CoverUp: Effective High Coverage Test Generation for Python,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis CoverUp: Effective High Coverage Test Generation for Python,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.251028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 946e381a-dcba-463e-9ded-dd6ed2ddfa64 · outbound

This paper cites Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.350203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2681f208-a38d-4d07-af4b-6c672ebd3556 · outbound

This paper cites Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.437114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ac39062-7c35-46ab-bbd7-80b6343e643f · outbound

This paper cites SMT Solver Validation Empowered by Large Pre-Trained Language Models,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis SMT Solver Validation Empowered by Large Pre-Trained Language Models,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.541137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c781128-1af0-4062-8144-71d072e28262 · outbound

This paper cites Towards understanding the effectiveness of large language models on directed test input generation,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Towards understanding the effectiveness of large language models on directed test input generation,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.700659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96c8ad55-5c17-4121-a796-64deeeccd7c8 · outbound

This paper cites Compiler Auto-Tuning via Critical Flag Selec- tion,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Compiler Auto-Tuning via Critical Flag Selec- tion,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.868356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a3cde36-6dac-4815-ba83-3219429b7b9d · outbound

This paper cites Compiler Autotuning through Multiple- phase Learning,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Compiler Autotuning through Multiple- phase Learning,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:30.981668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 674fe826-358c-44cb-9c64-5713134b7316 · outbound

This paper cites PDCAT: Preference-Driven Compiler Auto-tuning,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis PDCAT: Preference-Driven Compiler Auto-tuning,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:31.126482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b010ffb-fb2b-4835-b748-f6d533f8c579 · outbound

This paper cites The Saturation Effect in Fuzzing,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis The Saturation Effect in Fuzzing,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:31.244291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7e401fe-3557-492f-aa79-a0802168634a · outbound

This paper cites Boosting Fuzzer Efficiency: An Information Theoretic Perspective,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis Boosting Fuzzer Efficiency: An Information Theoretic Perspective,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T22:26:31.350453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62d9cc78-d7e4-4208-8a74-3580f9724ee8 · outbound

This paper cites GapSmith Repository,.

GapForge: Directed Compiler Fuzzing via Coverage-Gap Analysis GapSmith Repository,

Reference 40

Resolution: verified exact; doi, observed 2026-08-01T22:28:24.954818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

No inbound Pith citation observations are available.