{"as_of":"2026-08-12T17:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:deffbf9eb38a443308f24ef70dc2a2750b00697e62fa8836c2d61f4e40e5c674","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-07-31T12:40:07.031834Z","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-12T06:34:41.77262+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/2607.28271/citation-record","integrity":"/paper/2607.28271/integrity","json":"/paper/2607.28271/citation-record.json","paper":"/paper/2607.28271"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T12:40:06.936097Z","title":"RepairAgent: An autonomous, LLM-based agent for program repair,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.936097Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:588dc6182ed68b68d0f1a77e3f71a95941701cd38d71f27bf738e3a7534d099b","observation_id":"b9a9b69c-ad40-4d75-90c6-a16c65c83925","resolution":{"observed_at":"2026-07-31T12:40:06.936097Z","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-07-31T12:40:06.940082Z","title":"SWE-agent: Agent-computer interfaces enable automated software engineering,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.940082Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:26e1fb63dc02cfe3054af9f62433b4d3feb392e80aee3bf0846030c932484990","observation_id":"48eba2a9-7404-41a7-afd0-e3c739053a56","resolution":{"observed_at":"2026-07-31T12:40:06.940082Z","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-07-31T12:40:06.943178Z","title":"Automated unit test improvement using large language models at Meta,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.943178Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:95f0f09c456a44bb7483269941a96103fed6871e1214a02c844cf702ef2f0c75","observation_id":"178d98cc-f062-477b-ba4d-40805bd81076","resolution":{"observed_at":"2026-07-31T12:40:06.943178Z","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-07-31T12:40:06.946133Z","title":"A snowballing literature study on test amplification,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.946133Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:cd1dfd34d5819b261f0c7f881311fcc4af4aac836395c2252c65eb995aa844ff","observation_id":"bfbf3ad5-7b7d-4df1-a1f3-0ef4e6e68b5a","resolution":{"observed_at":"2026-07-31T12:40:06.946133Z","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-07-31T12:40:06.948982Z","title":"Automatic test improvement with DSpot: A study with ten mature open-source projects,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.948982Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:5ac2204b74ea156f5558efe45b75e692528f40138b2e4c475bd0e254f3044039","observation_id":"2296f283-efd9-4206-8967-9831e099f4a4","resolution":{"observed_at":"2026-07-31T12:40:06.948982Z","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-07-31T12:40:06.952167Z","title":"EvoSuite: Automatic test suite generation for object-oriented software,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.952167Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:b4063896abd176f61322bfd7aa20abc772da40b369b644e3f8433e88f3d5fff2","observation_id":"d2a851b1-b7b6-4c2a-aba1-2436492743ab","resolution":{"observed_at":"2026-07-31T12:40:06.952167Z","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-07-31T12:40:06.955210Z","title":"An empirical comparison of EvoSuite and DSpot for improving developer-written test suites with respect to mutation score,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.955210Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:70a15304770b82bc8eabe8fd7882b857a5b3f64a81aaba26c86cf3e8a4c1819f","observation_id":"efb79f42-3f93-4f30-b949-4d85a8a8eec4","resolution":{"observed_at":"2026-07-31T12:40:06.955210Z","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-07-31T12:40:06.957834Z","title":"Testability transformation,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.957834Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:2382886436b682994e32ce843be295935b147a5151c417790e35a7cab92c1dab","observation_id":"05989ed3-ce57-48f3-aa4a-2d907073b107","resolution":{"observed_at":"2026-07-31T12:40:06.957834Z","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-07-31T12:40:06.960459Z","title":"A survey on software testability,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.960459Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:c7f05352c0bb09a101ec99f56d8d13d0ad3f69bc5d7103a31c3cf2cca5efb21e","observation_id":"9ebc469a-ea08-4528-8ad3-214dd95397be","resolution":{"observed_at":"2026-07-31T12:40:06.960459Z","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-07-31T12:40:06.962935Z","title":"The art, science, and engineering of fuzzing: A survey,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.962935Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:70b574c83905af5b42bba48d0ab7a64721e57a885c8a76cb94ffa42b6ebb21de","observation_id":"987d528e-e910-42c2-9a29-c4c10f3bc226","resolution":{"observed_at":"2026-07-31T12:40:06.962935Z","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-07-31T12:40:06.965437Z","title":"Software fault interactions and implications for software testing,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.965437Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:1aac3b7f447dea4f42d52367bf0672e38d9da43d9033ecd9234749cb40bf1064","observation_id":"c9424e4b-cf59-47af-8faf-9ddc5102190b","resolution":{"observed_at":"2026-07-31T12:40:06.965437Z","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-07-31T12:40:06.968416Z","title":"Adaptive random testing: The ART of test case diversity,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.968416Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:2b700127e9d87ccb673cfd613294760f059afb616a394a3faa4054d6ad6ab9f5","observation_id":"9fcd6d6e-4f0d-4fdb-b3be-ff06d5241e29","resolution":{"observed_at":"2026-07-31T12:40:06.968416Z","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-07-31T12:40:06.971154Z","title":"Test suite generation with the many independent objective (MIO) algorithm,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.971154Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:8ac8d1e77d68f9c37966386996361fd6aa99754e33e637df619e6f0fd149e0f7","observation_id":"4ddba101-0d18-4d0e-9b42-9757da1e09d9","resolution":{"observed_at":"2026-07-31T12:40:06.971154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1504.04909","last_updated":"2015-04-20T01:17:00Z","snapshot_observed_at":"2026-07-06T04:15:24.342522Z","submitted_at":"2015-04-20T01:17:00Z","title":"Illuminating search spaces by mapping elites","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1504.04909","snapshot_observed_at":"2026-07-31T12:40:06.973710Z","title":"Illuminating search spaces by mapping elites,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.973710Z"},"links":{"cited_paper":"/paper/1504.04909","citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:13d0be2c882ad3976daf83d2c9946012ce8a7a39250f0b0646f4d92f8720b323","observation_id":"a2214b73-c5ed-429c-9ff7-28708eebd6e8","resolution":{"observed_at":"2026-07-31T12:40:06.973710Z","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-07-31T12:40:06.976709Z","title":"Monte carlo elites: Quality- diversity selection as a multi-armed bandit problem,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.976709Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:c2c20cf2a26a51ef9cb925d1d86d27e147da6e6146df6a0fd79d5a7ce8a61bea","observation_id":"84338673-b3c8-464c-9ae0-571eb661e246","resolution":{"observed_at":"2026-07-31T12:40:06.976709Z","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-07-31T12:40:06.979241Z","title":"An empirical study of OSS-Fuzz bugs,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.979241Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:04ce795ee70e8b8999d210f505edcb1b28dffe1c22cc964db7d1de5df562845a","observation_id":"14ce40f1-1403-4968-b985-ad53ed15c786","resolution":{"observed_at":"2026-07-31T12:40:06.979241Z","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-07-31T12:40:06.981706Z","title":"A survey of symbolic execution techniques,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.981706Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:84c2bde1a645eb7ded44087b9d6961431deda20e30c01092ea9104426acbd60c","observation_id":"73097f9e-2b32-4e7b-9130-0401c3c2875b","resolution":{"observed_at":"2026-07-31T12:40:06.981706Z","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-07-31T12:40:06.984260Z","title":"Driller: Augmenting fuzzing through selective symbolic execution,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.984260Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:c78599999fed8f77f268740bb407b69998f013295aaead2bf06a945c3f221714","observation_id":"1be400b7-9f41-4fed-9dc2-115d29b6d79c","resolution":{"observed_at":"2026-07-31T12:40:06.984260Z","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-07-31T12:40:06.986817Z","title":"T-Fuzz: Fuzzing by program transformation,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.986817Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:60c51cbe55676e9ec9d58f5f3b6b4ea5e9f75b991fe9e796300376ca20a88706","observation_id":"e2ebdd87-f130-4691-8dca-db3c6a7e4be9","resolution":{"observed_at":"2026-07-31T12:40:06.986817Z","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-07-31T12:40:06.989340Z","title":"Mokav: Execution-driven differential testing with LLMs,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.989340Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:32ceb9581235319cf4e7a87183fe3a111dbb204cbf6d2dc6bb31adcd877cdfee","observation_id":"47d241e6-ea62-4895-b7a1-217812296709","resolution":{"observed_at":"2026-07-31T12:40:06.989340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.04249","last_updated":"2025-05-06T01:01:33Z","snapshot_observed_at":"2026-08-05T05:06:35.786367Z","submitted_at":"2024-10-05T18:11:14Z","title":"DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.04249","snapshot_observed_at":"2026-07-31T12:40:06.991961Z","title":"DiffSpec: Differential testing with LLMs using natural language specifications and code artifacts,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.991961Z"},"links":{"cited_paper":"/paper/2410.04249","citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:0862e018821ef83d6d36ddf33f226c7640601ebd02ef3eb0b1194db9feb5be5a","observation_id":"d5676477-cbb6-4b1e-8cd3-4a7626e48ecf","resolution":{"observed_at":"2026-07-31T12:40:06.991961Z","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-07-31T12:40:06.994734Z","title":"Metamorphic testing: A review of challenges and opportunities,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.994734Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:041dd9bbfd929ce4f7eacfdfa2d125a6966d48e929edce8c4c7cbd0ef78a5643","observation_id":"aad5df93-88a7-4d37-bda1-cfcdaa0f124c","resolution":{"observed_at":"2026-07-31T12:40:06.994734Z","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-07-31T12:40:06.997211Z","title":"A survey of learning- based automated program repair,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.997211Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:3710951d6c7a466d8ea9f5c6c5d48fd523b48db8c88686de3b56dba91e92a4ab","observation_id":"d3ae99de-41d4-4778-8b59-7f91f7a128fa","resolution":{"observed_at":"2026-07-31T12:40:06.997211Z","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-07-31T12:40:06.999718Z","title":"A survey of LLM-based automated program repair: Taxonomies, design paradigms, and applications,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:06.999718Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:29b83da620f3f166ff7658d75dd5e89e1c436097a5f13d9538be595d28c875cc","observation_id":"90d64271-41a3-4425-8ff2-393d310aa1d0","resolution":{"observed_at":"2026-07-31T12:40:06.999718Z","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-07-31T12:40:07.002155Z","title":"SWE-bench: Can language models resolve real- world GitHub issues?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.002155Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:14b49a5b63560bc91ea9a2753a2e5eb14621bb2bebd44d03577a836eeb9f4758","observation_id":"f5b72024-72e0-4c90-a6a3-e42fd167a6e6","resolution":{"observed_at":"2026-07-31T12:40:07.002155Z","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-07-31T12:40:07.004725Z","title":"An empirical evaluation of using large language models for automated unit test generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.004725Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:a00c0558a94f6427c9ff600a18a0d5844cec12001d465d24a5b90036fe7b5706","observation_id":"83570ccf-910c-4653-ad10-1cd5e8589e59","resolution":{"observed_at":"2026-07-31T12:40:07.004725Z","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-07-31T12:40:07.007244Z","title":"Mut4All: Fuzzing compilers via LLM-synthesized mutators learned from bug reports,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.007244Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:e3feafa27252a62350fd9f6d38d8e3375c223403a066f0500cdd8d1ca5989df9","observation_id":"12fa5c1c-2c7a-4d20-93f3-45c412c4e8c3","resolution":{"observed_at":"2026-07-31T12:40:07.007244Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.04660","last_updated":"2024-08-26T09:37:46Z","snapshot_observed_at":"2026-07-06T18:58:30.942582Z","submitted_at":"2024-08-05T20:01:10Z","title":"XMainframe: A Large Language Model for Mainframe Modernization","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.04660","snapshot_observed_at":"2026-07-31T12:40:07.009811Z","title":"XMainframe: A large language model for mainframe modernization,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.009811Z"},"links":{"cited_paper":"/paper/2408.04660","citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:2a11d0fcdb8e8c43cbd60e93813bb234288d476a68d26a2770da6e8e6424ca66","observation_id":"1cf496a6-0274-47e2-babe-e79fc6db194c","resolution":{"observed_at":"2026-07-31T12:40:07.009811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.03986","last_updated":"2026-04-05T06:12:49Z","snapshot_observed_at":"2026-08-08T08:47:30.275427Z","submitted_at":"2026-04-05T06:12:49Z","title":"COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.03986","snapshot_observed_at":"2026-07-31T12:40:07.012929Z","title":"COBOL-coder: Domain-adapted large language models for COBOL code generation and translation,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.012929Z"},"links":{"cited_paper":"/paper/2604.03986","citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:eee344d2da0287ab694583ddafa2f8f58b315ee3863b1d65b8cea83eacebfcff","observation_id":"d0149622-8534-4d57-b0c5-b218ba7b138a","resolution":{"observed_at":"2026-07-31T12:40:07.012929Z","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-07-31T12:40:07.015865Z","title":"Translation of low-resource COBOL to logically correct and readable Java leveraging high-resource Java refinement,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.015865Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:6644e2ced1350a0f80705fea55a5df7d5149519bd944d20c955569b367a2f332","observation_id":"21e37c41-5efe-4d20-baba-865c1f3530c3","resolution":{"observed_at":"2026-07-31T12:40:07.015865Z","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-07-31T12:40:07.018496Z","title":"Enterprise-scale COBOL-to-Java translation: LLMs augmented with program analysis,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.018496Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:1fe45fde22dd459878b0efc5684fd09088e4c82c2e20eae740676b41845dff1a","observation_id":"4d92dcd1-1c6f-4741-97a9-4e2279776f94","resolution":{"observed_at":"2026-07-31T12:40:07.018496Z","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-07-31T12:40:07.021052Z","title":"Automated testing of COBOL to Java transformation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.021052Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:f3beb7d5ff15c44d89652c581ec580a8b5fe8492c621ab4e8f95296f4cdb312d","observation_id":"a060d536-feed-4a56-a685-1d849e094853","resolution":{"observed_at":"2026-07-31T12:40:07.021052Z","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-07-31T12:40:07.023712Z","title":"Automated validation of COBOL to Java transformation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.023712Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:7d764716663062b6069849525d4eaaaafb625d6f39efc4f7a22fc17b3924dba8","observation_id":"7b8b35df-787f-4fcd-83db-128fff3806b7","resolution":{"observed_at":"2026-07-31T12:40:07.023712Z","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-07-31T12:40:07.026241Z","title":"Finite-time analysis of the multiarmed bandit problem,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.026241Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:873bdc633b3a55e22647a6ad278a88776e6a1bfc98c527461fef919f004465d9","observation_id":"2ed25219-660b-401a-81bc-6e0baed2ef76","resolution":{"observed_at":"2026-07-31T12:40:07.026241Z","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-07-31T12:40:07.029120Z","title":"An exploratory study on using large language models for mutation testing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.029120Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:a5d40e1fd086b41b0d83b09c57d14c7c64d3a6413fade47e3e014d149f3b6f06","observation_id":"f757e34b-d0ec-4f3d-9e60-9207c91b4937","resolution":{"observed_at":"2026-07-31T12:40:07.029120Z","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-07-31T12:40:07.031834Z","title":"Carddemo - mainframe credit card management application,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-31T12:40:07.031834Z"},"links":{"citing_paper":"/paper/2607.28271"},"observation_digest":"sha256:58593004997aecfd2b191b396b8b29c9ede79e3fc7e92129402f7e392d1a4d80","observation_id":"8079a8b2-8e32-4806-85a1-0122fcf1817a","resolution":{"observed_at":"2026-07-31T12:40:07.031834Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28271","last_updated":"2026-07-30T14:25:23Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-10T00:44:57.317466Z","submitted_at":"2026-07-30T14:25:23Z","title":"Agentic Method for Deterministic Validation of Legacy Code Migration"},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"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."}