Paper Citation Record · LEDGER

Agentic Method for Deterministic Validation of Legacy Code Migration

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

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

pith.paper-citation-record.v1
2607.28271 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-31T12:40:07.031834Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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 b9a9b69c-ad40-4d75-90c6-a16c65c83925 · outbound

This paper cites RepairAgent: An autonomous, LLM-based agent for program repair,.

Agentic Method for Deterministic Validation of Legacy Code Migration RepairAgent: An autonomous, LLM-based agent for program repair,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.936097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48eba2a9-7404-41a7-afd0-e3c739053a56 · outbound

This paper cites SWE-agent: Agent-computer interfaces enable automated software engineering,.

Agentic Method for Deterministic Validation of Legacy Code Migration SWE-agent: Agent-computer interfaces enable automated software engineering,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.940082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 178d98cc-f062-477b-ba4d-40805bd81076 · outbound

This paper cites Automated unit test improvement using large language models at Meta,.

Agentic Method for Deterministic Validation of Legacy Code Migration Automated unit test improvement using large language models at Meta,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.943178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfbf3ad5-7b7d-4df1-a1f3-0ef4e6e68b5a · outbound

This paper cites A snowballing literature study on test amplification,.

Agentic Method for Deterministic Validation of Legacy Code Migration A snowballing literature study on test amplification,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.946133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2296f283-efd9-4206-8967-9831e099f4a4 · outbound

This paper cites Automatic test improvement with DSpot: A study with ten mature open-source projects,.

Agentic Method for Deterministic Validation of Legacy Code Migration Automatic test improvement with DSpot: A study with ten mature open-source projects,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.948982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2a851b1-b7b6-4c2a-aba1-2436492743ab · outbound

This paper cites EvoSuite: Automatic test suite generation for object-oriented software,.

Agentic Method for Deterministic Validation of Legacy Code Migration EvoSuite: Automatic test suite generation for object-oriented software,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.952167Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efb79f42-3f93-4f30-b949-4d85a8a8eec4 · outbound

This paper cites An empirical comparison of EvoSuite and DSpot for improving developer-written test suites with respect to mutation score,.

Agentic Method for Deterministic Validation of Legacy Code Migration An empirical comparison of EvoSuite and DSpot for improving developer-written test suites with respect to mutation score,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.955210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05989ed3-ce57-48f3-aa4a-2d907073b107 · outbound

This paper cites Testability transformation,.

Agentic Method for Deterministic Validation of Legacy Code Migration Testability transformation,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.957834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ebc469a-ea08-4528-8ad3-214dd95397be · outbound

This paper cites A survey on software testability,.

Agentic Method for Deterministic Validation of Legacy Code Migration A survey on software testability,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.960459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 987d528e-e910-42c2-9a29-c4c10f3bc226 · outbound

This paper cites The art, science, and engineering of fuzzing: A survey,.

Agentic Method for Deterministic Validation of Legacy Code Migration The art, science, and engineering of fuzzing: A survey,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.962935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9424e4b-cf59-47af-8faf-9ddc5102190b · outbound

This paper cites Software fault interactions and implications for software testing,.

Agentic Method for Deterministic Validation of Legacy Code Migration Software fault interactions and implications for software testing,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.965437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fcd6d6e-4f0d-4fdb-b3be-ff06d5241e29 · outbound

This paper cites Adaptive random testing: The ART of test case diversity,.

Agentic Method for Deterministic Validation of Legacy Code Migration Adaptive random testing: The ART of test case diversity,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.968416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ddba101-0d18-4d0e-9b42-9757da1e09d9 · outbound

This paper cites Test suite generation with the many independent objective (MIO) algorithm,.

Agentic Method for Deterministic Validation of Legacy Code Migration Test suite generation with the many independent objective (MIO) algorithm,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.971154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2214b73-c5ed-429c-9ff7-28708eebd6e8 · outbound

This paper cites Illuminating search spaces by mapping elites.

Agentic Method for Deterministic Validation of Legacy Code Migration Illuminating search spaces by mapping elites

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.973710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84338673-b3c8-464c-9ae0-571eb661e246 · outbound

This paper cites Monte carlo elites: Quality- diversity selection as a multi-armed bandit problem,.

Agentic Method for Deterministic Validation of Legacy Code Migration Monte carlo elites: Quality- diversity selection as a multi-armed bandit problem,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.976709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14ce40f1-1403-4968-b985-ad53ed15c786 · outbound

This paper cites An empirical study of OSS-Fuzz bugs,.

Agentic Method for Deterministic Validation of Legacy Code Migration An empirical study of OSS-Fuzz bugs,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.979241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73097f9e-2b32-4e7b-9130-0401c3c2875b · outbound

This paper cites A survey of symbolic execution techniques,.

Agentic Method for Deterministic Validation of Legacy Code Migration A survey of symbolic execution techniques,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.981706Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1be400b7-9f41-4fed-9dc2-115d29b6d79c · outbound

This paper cites Driller: Augmenting fuzzing through selective symbolic execution,.

Agentic Method for Deterministic Validation of Legacy Code Migration Driller: Augmenting fuzzing through selective symbolic execution,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.984260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2ebdd87-f130-4691-8dca-db3c6a7e4be9 · outbound

This paper cites T-Fuzz: Fuzzing by program transformation,.

Agentic Method for Deterministic Validation of Legacy Code Migration T-Fuzz: Fuzzing by program transformation,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.986817Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47d241e6-ea62-4895-b7a1-217812296709 · outbound

This paper cites Mokav: Execution-driven differential testing with LLMs,.

Agentic Method for Deterministic Validation of Legacy Code Migration Mokav: Execution-driven differential testing with LLMs,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.989340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5676477-cbb6-4b1e-8cd3-4a7626e48ecf · outbound

This paper cites DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts.

Agentic Method for Deterministic Validation of Legacy Code Migration DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.991961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aad5df93-88a7-4d37-bda1-cfcdaa0f124c · outbound

This paper cites Metamorphic testing: A review of challenges and opportunities,.

Agentic Method for Deterministic Validation of Legacy Code Migration Metamorphic testing: A review of challenges and opportunities,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.994734Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3ae99de-41d4-4778-8b59-7f91f7a128fa · outbound

This paper cites A survey of learning- based automated program repair,.

Agentic Method for Deterministic Validation of Legacy Code Migration A survey of learning- based automated program repair,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.997211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90d64271-41a3-4425-8ff2-393d310aa1d0 · outbound

This paper cites A survey of LLM-based automated program repair: Taxonomies, design paradigms, and applications,.

Agentic Method for Deterministic Validation of Legacy Code Migration A survey of LLM-based automated program repair: Taxonomies, design paradigms, and applications,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:06.999718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5b72024-72e0-4c90-a6a3-e42fd167a6e6 · outbound

This paper cites SWE-bench: Can language models resolve real- world GitHub issues?.

Agentic Method for Deterministic Validation of Legacy Code Migration SWE-bench: Can language models resolve real- world GitHub issues?

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.002155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83570ccf-910c-4653-ad10-1cd5e8589e59 · outbound

This paper cites An empirical evaluation of using large language models for automated unit test generation,.

Agentic Method for Deterministic Validation of Legacy Code Migration An empirical evaluation of using large language models for automated unit test generation,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.004725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12fa5c1c-2c7a-4d20-93f3-45c412c4e8c3 · outbound

This paper cites Mut4All: Fuzzing compilers via LLM-synthesized mutators learned from bug reports,.

Agentic Method for Deterministic Validation of Legacy Code Migration Mut4All: Fuzzing compilers via LLM-synthesized mutators learned from bug reports,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.007244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cf496a6-0274-47e2-babe-e79fc6db194c · outbound

This paper cites XMainframe: A Large Language Model for Mainframe Modernization.

Agentic Method for Deterministic Validation of Legacy Code Migration XMainframe: A Large Language Model for Mainframe Modernization

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.009811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0149622-8534-4d57-b0c5-b218ba7b138a · outbound

This paper cites COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation.

Agentic Method for Deterministic Validation of Legacy Code Migration COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.012929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21e37c41-5efe-4d20-baba-865c1f3530c3 · outbound

This paper cites Translation of low-resource COBOL to logically correct and readable Java leveraging high-resource Java refinement,.

Agentic Method for Deterministic Validation of Legacy Code Migration Translation of low-resource COBOL to logically correct and readable Java leveraging high-resource Java refinement,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.015865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d92dcd1-1c6f-4741-97a9-4e2279776f94 · outbound

This paper cites Enterprise-scale COBOL-to-Java translation: LLMs augmented with program analysis,.

Agentic Method for Deterministic Validation of Legacy Code Migration Enterprise-scale COBOL-to-Java translation: LLMs augmented with program analysis,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.018496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a060d536-feed-4a56-a685-1d849e094853 · outbound

This paper cites Automated testing of COBOL to Java transformation,.

Agentic Method for Deterministic Validation of Legacy Code Migration Automated testing of COBOL to Java transformation,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.021052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b8b35df-787f-4fcd-83db-128fff3806b7 · outbound

This paper cites Automated validation of COBOL to Java transformation,.

Agentic Method for Deterministic Validation of Legacy Code Migration Automated validation of COBOL to Java transformation,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.023712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ed25219-660b-401a-81bc-6e0baed2ef76 · outbound

This paper cites Finite-time analysis of the multiarmed bandit problem,.

Agentic Method for Deterministic Validation of Legacy Code Migration Finite-time analysis of the multiarmed bandit problem,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.026241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f757e34b-d0ec-4f3d-9e60-9207c91b4937 · outbound

This paper cites An exploratory study on using large language models for mutation testing,.

Agentic Method for Deterministic Validation of Legacy Code Migration An exploratory study on using large language models for mutation testing,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.029120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8079a8b2-8e32-4806-85a1-0122fcf1817a · outbound

This paper cites Carddemo - mainframe credit card management application,.

Agentic Method for Deterministic Validation of Legacy Code Migration Carddemo - mainframe credit card management application,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-31T12:40:07.031834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.