{"as_of":"2026-08-12T21:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:94af19b7daa2a939e19d16df0c594c87781a3434a3ef59f23a613de5d2668f23","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-12T19:32:52.446392Z","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:2424277d669c3c2b30252b33743d4152e134555537548e9b5ce436a1225de078","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-12T19:32:52.446392Z","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:ca383eed93c38a0a32afc5f316abfc6d05b8ea973b1b87b0320ddf73a5d8cdb5","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-12T19:32:52.446392Z","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:411582f7baf46d56b49786d492274b74256ab66188794b2b083f3d1fc44d03d8","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-12T19:32:52.446392Z","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:a6fcd287ae65691cd802ae7b11fe29777b65d43b2f8d0de104ee084156b375ec","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-12T19:32:52.446392Z","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:a1d15a65e73ead8a57762f5acb0b15b09d241bbed47464d4926dc751af57e457","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-12T19:32:52.446392Z","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:cb9bd41c2fb48233ec2be9dd4848d60303cfbb8310f4a1774483fa449fe610dd","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-12T19:32:52.446392Z","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:da1b353ebe06945d30b70caefb03d54f026e5002b6fee368269f34eda55bce41","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-12T19:32:52.446392Z","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:88f1b0d379dd4cd322b8196d24d8cb241539f27c42d9f7321cc7c0c9537d292e","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-12T19:32:52.446392Z","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:d42affa0b9829debacddcf8917ba8150cbf6c70220e91c49508fb0e9e4b31685","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-12T19:32:52.446392Z","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:5427ec96e0e2865cea09d28f67e55775b90767d20dccf1a71ba65b0c0f7414b8","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-12T19:32:52.446392Z","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:637d06fab52efaf024d5ea1bc18e853ffd9eff60c3ac64bc70884993aaf534af","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-12T19:32:52.446392Z","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:5bded53d6ade641069b27155369e832c24d4470e178f44d70ed53bcd27523b50","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-12T19:32:52.446392Z","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:fc023d9ec85583303319c95b9dcc660f8ab1e23fccf2f4b21fdd90fe901a54ba","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-12T19:32:52.446392Z","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:61c8f7e693bb03bb1468b476d48207cc6e93600c130090869659e5db2bee7979","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-12T19:32:52.446392Z","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:9f633cddff52b07d115736a46a0827544f80ef1a1fa121f1bb3c0183c5c878eb","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-12T19:32:52.446392Z","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:3aab3e7a8c98b43ffe09705229416377e24b131580e177a33a3a9e2afb1e8265","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-12T19:32:52.446392Z","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:dc7aa972cc6f53039c259d5b72b628cb969a503fa4b6a3b269ba8c0bff325704","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-12T19:32:52.446392Z","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:3886f604bc3eaf547a5301defb2a07ceef18a5b479e363a5f7577301cfe998b5","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-12T19:32:52.446392Z","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:52b04db7a911e3ca6aea4173cbf54140c176e6985c965807060f335e2e0ac8a1","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-12T19:32:52.446392Z","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:9816131d9ff8ca960425af934c279bf0ef4a3e9b50c78b1fdebeb88df6506cd6","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-12T19:32:52.446392Z","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:7c170afa371ec49e08aa8ed8e54a379797d5795614fc741efd1908b9d663e66b","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-12T19:32:52.446392Z","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:9bd54070cc3c0dd658a8c0cf53049893b334b3da996fccf707f8e150c20a2e31","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-12T19:32:52.446392Z","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:e031c8f2cbf1c34a47f191c6fcf69302a9c641b17a72f67f44683df6fed671ab","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-12T19:32:52.446392Z","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:ed7d7a2d8b57371cfbb211a7c63f726d46ba9f2bef503ea0ace82c948409f72f","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-12T19:32:52.446392Z","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:f78b330616b9bad07ee63962f88f2a253b22c11097a9501150965fbfc70db896","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-12T19:32:52.446392Z","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:5c65ecf4034736621f0ff8bd99d4eb96986ebd473c313209b12d19387232e4e4","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-12T19:32:52.446392Z","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:ec1ef74a1afe6247985f828de7c0ff89cbe673f1ae20efea058b05089a576fba","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-12T19:32:52.446392Z","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:6ac315f22953f3d186124e2899e7d3a79b45a32ef17827187a7fe8a5f406cb4f","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-12T19:32:52.446392Z","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:81145733bbc52432e61d6dafb1660abcdbb72dd76d22293cb46142c875491487","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-12T19:32:52.446392Z","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:97293ed7847a27a9ea3e5066755a4887e64f9e98df2cae4314107b05d5a647e4","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-12T19:32:52.446392Z","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:c4d223135c1c006ca903072e1935061af6ae3afd30cba236d6ad1ce15421a9a4","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-12T19:32:52.446392Z","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:8db4be63b2f53c7c8564789fc95b7e0a1b4dc6ad7f50231a85a1471c0dd8c14c","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-12T19:32:52.446392Z","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:d2863f60bda1e59652d325d785ad06e5dc596a555a803f93366becbea72a0ea7","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-12T19:32:52.446392Z","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:3ed503a65e6d9c2ce19e1dfcf9c839ca7b6074ce3ae1e7ec7980fed095bcc6d9","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-12T19:32:52.446392Z","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:9117a780f07a2976c0460643deedeafabb5f43b85644cff9f17d44dddd7a509b","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-12T19:32:52.446392Z","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:34ceb3c2282e88ea77eb1cf6c769a3d445f2b4992626ece903b4e43b054e07d2","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-12T19:32:52.446392Z","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."}