Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T21:45:42.517559Z
Paper Citation Record · LEDGER
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging
As of 19 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2607.04092.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
64 of 64 outbound references displayed
- verified exact5
- verified fuzzy0
- unresolved58
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation acbd492c-82e2-42c2-a1e0-c504991b3967 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a57b1ac8-be78-4119-8d4d-ef7ac95b0de4 · outbound
This paper cites Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0899f223-98ce-4ff0-99d4-62795763636d · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab823b26-ae62-4d40-b050-b5c7d6946af4 · outbound
This paper cites Seshia, and Alvin Cheung.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Seshia, and Alvin Cheung
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 50a01d78-11ab-473d-a7c3-09114ac2a8f0 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation de078d27-ca7c-4893-841c-27973098e712 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc3186be-6e1c-4d16-a66b-a853be278ca0 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5d0a1549-196d-4223-89ad-a0162469c57f · outbound
This paper cites 2017.COBOL Is Everywhere.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging 2017.COBOL Is Everywhere
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1f6da2fc-5813-4586-910e-6e6495acaf6f · outbound
This paper cites Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent Integration.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent Integration
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19c55ef8-4422-47a1-aa19-ea9722b8fb07 · outbound
This paper cites Lowden, and Simon Sobisch.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Lowden, and Simon Sobisch
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 70337586-19bc-4160-9be2-60ac8fea7ebe · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ade480cd-461f-4b5f-9ddf-652ed9f1a9e3 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6e4a027-b131-47ec-9ed6-97a0fe24e9fd · outbound
This paper cites Min, Gail Kaiser, Junfeng Yang, and Baishakhi Ray.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Min, Gail Kaiser, Junfeng Yang, and Baishakhi Ray
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 211dd6f1-9c87-4949-8c0d-1bd361315125 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b0b93119-fea6-4841-890f-d0f45ff1c545 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff372d00-186e-4b0c-b8a3-fafe4a15bebb · outbound
This paper cites Quality Evaluation of COBOL to Java Code Transformation.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Quality Evaluation of COBOL to Java Code Transformation
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d55204d0-f6ba-4928-962e-1746c607b57f · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c2fe7def-0d26-421b-b35e-8c72ce14ebd7 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31f4868c-9b54-4f37-a040-1bffdc3db0db · outbound
This paper cites 2025.GnuCOBOL - A free COBOL compiler.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging 2025.GnuCOBOL - A free COBOL compiler
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 11a3f8df-b329-4adb-a087-a6052551febb · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 490c1b64-63a5-4446-8744-d5747c720261 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8cf9acf6-8e94-4194-859d-9c63fa6e2f6c · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 33a73a7d-a8f2-49ec-acc6-f2f740482b67 · outbound
This paper cites CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 399fba69-3e73-41f1-a5b2-7caf8f9cf177 · outbound
This paper cites On the Evaluation of Neural Code Translation: Taxonomy and Benchmark.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging On the Evaluation of Neural Code Translation: Taxonomy and Benchmark
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e6ca7f3-9775-4e79-91f4-9efd38f137c1 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ce84a8a-e66e-415d-a47b-0d71af694e19 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 26
- Resolution
- verified exact
- arxiv_id, observed 2026-07-11T21:48:18.840578Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 43685a20-2ce5-479e-8898-6b91c1b723da · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab66da9a-9597-47a3-b4c3-002bcd81ec8c · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 29
- Resolution
- verified exact
- doi, observed 2026-07-11T21:48:18.907964Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation d84db245-3262-451c-83ef-80b19854a070 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 30
- Resolution
- verified exact
- doi, observed 2026-07-11T21:48:18.883761Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a442f4f7-30e9-42fd-8c48-f93f8e827339 · outbound
This paper cites Enhancing COBOL Code Explanations: A Multi-Agents Approach Using Large Language Models.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Enhancing COBOL Code Explanations: A Multi-Agents Approach Using Large Language Models
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 11038ef5-6fe1-4d23-b13b-93fc31fe3a4e · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff1a9b0f-7ff5-4d1e-9a4b-eba5a4fa1857 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d885be1b-fdee-4cf9-8c35-f02dfd5d620d · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d7fb0f88-91b5-4c0c-8bb8-cee1bd28482d · outbound
This paper cites InterTrans: Leveraging Transitive Intermediate Translations to Enhance LLM-based Code Translation.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging InterTrans: Leveraging Transitive Intermediate Translations to Enhance LLM-based Code Translation
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ccb54af-0b51-4d56-9739-8138b91720ca · outbound
This paper cites 1999.COBOL Test Suites.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging 1999.COBOL Test Suites
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f27e3f1-a77e-4585-9d6c-a9e62b1ff517 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 37
- Resolution
- verified exact
- arxiv_id, observed 2026-07-11T21:48:18.814675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e693a302-dcd2-4c3c-bf27-2758d182a160 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4fbc2705-0aa5-49c3-9e78-5e3834cbd64e · outbound
This paper cites 2024.Qwen2.5 Coder 32B Instruct.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging 2024.Qwen2.5 Coder 32B Instruct
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bbf7ad13-404a-4d76-95f8-872b2e5a20c1 · outbound
This paper cites 2025.Google: Gemma 3 27B.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging 2025.Google: Gemma 3 27B
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a3fe636-b7b3-4218-975e-862f379b83ac · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f0570ee1-dd1e-426e-981e-dbbb8d320bbf · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b80c2aeb-3837-40e9-a59d-4cd96908423c · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b2de4ae-5c34-478d-8aeb-d733c3ee9dfd · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b18c659-56d8-43f8-8653-7b9b7e7b49ea · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 11e5aee7-22ce-4560-b80c-329a51a08be3 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8eb3baca-7849-4629-8fbc-c82f17860632 · outbound
This paper cites LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5b8e90a-1e5a-4ed1-bb5f-f4672c4dd78a · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06d3dfa7-3c77-4e8a-8aee-e45e486220b2 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5a2a24a-7157-49eb-891e-7b28a834bc5f · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4032ba41-3226-4abc-b0cd-2618b4797a21 · outbound
This paper cites 2025.opensource COBOL 4J.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging 2025.opensource COBOL 4J
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d77a167-7348-45de-83c5-9de290b816ab · outbound
This paper cites Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 734913b3-0a81-402b-a74f-12c8f5149e9d · outbound
This paper cites Assessing Consensus of Developers' Views on Code Readability.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Assessing Consensus of Developers' Views on Code Readability
Reference 55
- Resolution
- malformed identifier
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce9df333-439f-4cfb-96f1-9c4fb05f9006 · outbound
This paper cites 2020.USA suchen dringend Programmierer für uralte Behördensysteme.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging 2020.USA suchen dringend Programmierer für uralte Behördensysteme
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47dd94a9-0e8c-4aa4-ab3b-dbd95fde7558 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 57
- Resolution
- verified exact
- doi, observed 2026-07-11T21:48:18.899629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 1f042c63-52cb-4bef-905f-6ed95c765de7 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecaec7ad-eab9-4870-bfb7-b8ac3a5232ec · outbound
This paper cites CodeJudge: Evaluating Code Generation with Large Language Models.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging CodeJudge: Evaluating Code Generation with Large Language Models
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e5c8795-117e-4778-ad41-95228d3b7d95 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e6b7fcc0-fde0-4515-b7e2-f86d22f2ae6b · outbound
This paper cites Advancing Code Coverage: Incorporating Program Analysis with Large Language Models.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Advancing Code Coverage: Incorporating Program Analysis with Large Language Models
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 159f5063-46b5-419a-ab56-8a2a40618366 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 315900ca-683b-4c8b-abf7-8d67a354a273 · outbound
This paper cites ACM Softw.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging ACM Softw
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 62538cad-028c-4191-b251-93dfc489f20e · outbound
This paper cites TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5177dae7-9ec4-4b5e-816f-d1a3320c2b94 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c28c9d8-215d-4d20-a7c5-3ecfd4711f56 · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd33d327-e82c-453d-b80a-54f9523145bd · outbound
This paper cites an unresolved cited work.
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging Unresolved cited work
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:45:42.517559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.