SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories | Paper Citation Record

Observation 3af43036-f74a-4d2c-9c57-39fdf271ecdf · outbound

This paper cites and Yang, John and Wettig, Alexander and Yao, Shunyu and Pei, Kexin and Press, Ofir and Narasimhan, Karthik R.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories and Yang, John and Wettig, Alexander and Yao, Shunyu and Pei, Kexin and Press, Ofir and Narasimhan, Karthik R

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.899572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fffa918-3daf-4c16-a781-f7dc7b2e141a · outbound

This paper cites and Wettig, Alexander and Lieret, Kilian and Yao, Shunyu and Narasimhan, Karthik and Press, Ofir , title =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories and Wettig, Alexander and Lieret, Kilian and Yao, Shunyu and Narasimhan, Karthik and Press, Ofir , title =

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.905682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc540d3e-c8fd-492a-aea0-33b649fcbe60 · outbound

This paper cites Proceedings of the ACM on Software Engineering , volume =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the ACM on Software Engineering , volume =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.909549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37273d64-0587-4f51-9eee-751bc2b193dd · outbound

This paper cites The Twelfth International Conference on Learning Representations , year =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories The Twelfth International Conference on Learning Representations , year =

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.913560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7389b24e-b34b-4320-994c-98649f3436bb · outbound

This paper cites EvoCode-Bench: Evaluating Coding Agents in Multi-Turn Iterative Interactions.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories EvoCode-Bench: Evaluating Coding Agents in Multi-Turn Iterative Interactions

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.917609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e15686f8-d8e6-4717-a4c9-f9a46ee092dc · outbound

This paper cites SWE-Milestone: Evaluating AI Agents on Continuous Software Evolution.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories SWE-Milestone: Evaluating AI Agents on Continuous Software Evolution

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.922160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf8b2355-fd8a-44a2-92dd-d9f8704bf286 · outbound

This paper cites Proceedings of the 43rd International Conference on Machine Learning , year=.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the 43rd International Conference on Machine Learning , year=

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.930115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 206380be-166f-4c74-87cb-36ad40d94cf4 · outbound

This paper cites International Conference on Learning Representations (ICLR) , year=.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories International Conference on Learning Representations (ICLR) , year=

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.937207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d11a128-bb3d-40b4-95c4-b875973fcb9f · outbound

This paper cites Findings of the Association for Computational Linguistics: ACL 2025 , pages=.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Findings of the Association for Computational Linguistics: ACL 2025 , pages=

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.941170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60ad9707-1c10-4b96-bd2d-a71c1e998bed · outbound

This paper cites International Conference on Learning Representations (ICLR) , year=.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories International Conference on Learning Representations (ICLR) , year=

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.945010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ec03f75-9b86-4485-bfd4-9545b6f01b1b · outbound

This paper cites SWE-Chain: Benchmarking Coding Agents on Chained Release-Level Package Upgrades.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories SWE-Chain: Benchmarking Coding Agents on Chained Release-Level Package Upgrades

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-11T10:34:43.916882Z

Source-reported events for the cited work

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

Observation 20d4a89c-37f2-4377-9d6e-2cf037e1a0b9 · outbound

This paper cites Regression Accumulation in Multi-Turn LLM Programming Conversations.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Regression Accumulation in Multi-Turn LLM Programming Conversations

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-11T10:34:43.898669Z

Source-reported events for the cited work

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

Observation 7fd1be30-3f02-4b54-a97e-1ebbe43bef46 · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Advances in Neural Information Processing Systems , volume =

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.958410Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b49fc57-d9d6-46fa-8368-cd14808d20e2 · outbound

This paper cites Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , publisher =

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.962210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0d3759b-786e-44de-8414-c82bb2d80463 · outbound

This paper cites 2025 , eprint =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories 2025 , eprint =

Reference 17

Resolution: verified exact; doi, observed 2026-08-11T10:34:43.880609Z

Source-reported events for the cited work

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

Observation 6b853eab-f6b4-42cc-b2bb-f37e019cb557 · outbound

This paper cites StaminaBench: Stress-Testing Coding Agents over 100 Interaction Turns.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories StaminaBench: Stress-Testing Coding Agents over 100 Interaction Turns

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-11T10:34:43.806996Z

Source-reported events for the cited work

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

Observation 53d973ac-463e-4a6c-94e5-915cf91549cb · outbound

This paper cites 2026 , eprint =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories 2026 , eprint =

Reference 19

Resolution: verified exact; doi, observed 2026-08-11T10:34:43.792636Z

Source-reported events for the cited work

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

Observation bcf0131a-543d-4710-b9a8-04b04cf3f77e · outbound

This paper cites SWE-INTERACT: Reimagining SWE Benchmarks as User-Driven Long-Horizon Coding Sessions.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories SWE-INTERACT: Reimagining SWE Benchmarks as User-Driven Long-Horizon Coding Sessions

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-11T10:34:43.735799Z

Source-reported events for the cited work

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

Observation e059c3ec-f7ec-4e1f-b1e3-3191a2ae6ff0 · outbound

This paper cites 2025 , eprint =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories 2025 , eprint =

Reference 21

Resolution: verified exact; doi, observed 2026-08-11T10:34:43.718518Z

Source-reported events for the cited work

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

Observation 1cefcb21-e8af-48cb-afdc-ce1c4bfc0660 · outbound

This paper cites 2025 , eprint =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories 2025 , eprint =

Reference 22

Resolution: verified exact; doi, observed 2026-08-11T10:34:43.659848Z

Source-reported events for the cited work

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

Observation 5669c7d7-ffef-4c47-8047-5ea8a0388236 · outbound

This paper cites From Tools to Teammates: Evaluating.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories From Tools to Teammates: Evaluating

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.990776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8aa7a57-46a3-4d63-b2dc-af880dfdb738 · outbound

This paper cites The Fourteenth International Conference on Learning Representations , year =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories The Fourteenth International Conference on Learning Representations , year =

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:42.994603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8de6fa8d-5200-4933-84da-ef513e4241fb · outbound

This paper cites SEQUOR: A Multi-Turn Benchmark for Realistic Constraint Following.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories SEQUOR: A Multi-Turn Benchmark for Realistic Constraint Following

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-11T10:34:43.589398Z

Source-reported events for the cited work

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

Observation 501f72cc-d36c-44d3-b16b-d552cf351f7d · outbound

This paper cites Findings of the Association for Computational Linguistics: EMNLP 2025 , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Findings of the Association for Computational Linguistics: EMNLP 2025 , publisher =

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.003378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e6481e7-5d1a-47f0-a627-f6de7620d7a1 · outbound

This paper cites Findings of the Association for Computational Linguistics: ACL 2024 , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Findings of the Association for Computational Linguistics: ACL 2024 , publisher =

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.007124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1bfae66-fa75-48c1-838c-208e5cd1467f · outbound

This paper cites Revisable by Design: A Theory of Streaming LLM Agent Execution.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Revisable by Design: A Theory of Streaming LLM Agent Execution

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-11T10:34:43.574737Z

Source-reported events for the cited work

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

Observation 8dbdd352-5e1e-49c0-8f0d-934f41808dcb · outbound

This paper cites Your Agents Are Aging Too: Agent Lifespan Engineering for Deployed Systems.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Your Agents Are Aging Too: Agent Lifespan Engineering for Deployed Systems

Reference 29

Resolution: metadata mismatch; local_arxiv, observed 2026-08-11T10:34:43.558865Z

Source-reported events for the cited work

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

Observation 89e9ea4d-1e22-4a62-82c8-676867508cbe · outbound

This paper cites Findings of the Association for Computational Linguistics: NAACL 2025 , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Findings of the Association for Computational Linguistics: NAACL 2025 , publisher =

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.018345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f079e3b-f9b5-48b4-8fee-92ad2bd3f287 · outbound

This paper cites The Thirteenth International Conference on Learning Representations , year =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories The Thirteenth International Conference on Learning Representations , year =

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.022674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd054430-fba8-45a3-b28b-79e133513fe4 · outbound

This paper cites IEEE Transactions on Software Engineering , year =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories IEEE Transactions on Software Engineering , year =

Reference 32

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T10:34:44.675252Z

Source-reported events for the cited work

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

Observation c47c35a9-7af5-478e-80f1-d465ebf44995 · outbound

This paper cites Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , publisher =

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.030617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c79d044-2a55-4291-9290-e03c44c45013 · outbound

This paper cites Validating LLM-Generated Programs with Metamorphic Prompt Testing.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.034231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0302315-4f2e-4f29-82da-4f94a60f6ae4 · outbound

This paper cites 2026 IEEE/ACM 48th International Conference on Software Engineering , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories 2026 IEEE/ACM 48th International Conference on Software Engineering , publisher =

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.038357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a31a196-dab2-4977-be84-ebc5259ec09c · outbound

This paper cites Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics , publisher =

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.042085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 079f30df-e8ea-46f3-91e6-16dff8db27bf · outbound

This paper cites and Mulcaire, Phoebe and Ning, Qiang and Singh, Sameer and Smith, Noah A.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories and Mulcaire, Phoebe and Ning, Qiang and Singh, Sameer and Smith, Noah A

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.045609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ca326fc-96fa-4a3f-b58f-e6416b084fb2 · outbound

This paper cites A Survey on Metamorphic Testing , journal =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories A Survey on Metamorphic Testing , journal =

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.165431Z

Source-reported events for the cited work

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

Observation ac315335-748c-4a53-b68f-ccfc7752d140 · outbound

This paper cites and Harman, Mark and McMinn, Phil and Shahbaz, Muzammil and Yoo, Shin , title =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories and Harman, Mark and McMinn, Phil and Shahbaz, Muzammil and Yoo, Shin , title =

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.155343Z

Source-reported events for the cited work

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

Observation f36df437-0a10-4926-aeec-5c8a285f9305 · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Advances in Neural Information Processing Systems , volume =

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.145587Z

Source-reported events for the cited work

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

Observation 102b4f41-ad86-434e-befd-263a23a1babd · outbound

This paper cites and Lin, Kevin and Hewitt, John and Paranjape, Ashwin and Bevilacqua, Michele and Petroni, Fabio and Liang, Percy , title =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories and Lin, Kevin and Hewitt, John and Paranjape, Ashwin and Bevilacqua, Michele and Petroni, Fabio and Liang, Percy , title =

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.135619Z

Source-reported events for the cited work

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

Observation da81a18f-6191-4996-8cff-bbdae69f1fd2 · outbound

This paper cites Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , publisher =

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.124757Z

Source-reported events for the cited work

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

Observation c649d735-8595-4329-9ae4-62106d3cb0e1 · outbound

This paper cites Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , publisher =

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.113900Z

Source-reported events for the cited work

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

Observation a1741138-65a2-4956-b9a8-31b1a9d48fba · outbound

This paper cites Instruction-Following Evaluation for Large Language Models.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Instruction-Following Evaluation for Large Language Models

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.071033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6fde26f-24bf-4d7d-8078-3030b14e645e · outbound

This paper cites Information and Software Technology , volume =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Information and Software Technology , volume =

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.102538Z

Source-reported events for the cited work

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

Observation 9ff59d0d-8918-4bdc-a06a-245a0cb33fd5 · outbound

This paper cites IEEE Transactions on Software Engineering , volume =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories IEEE Transactions on Software Engineering , volume =

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.091124Z

Source-reported events for the cited work

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

Observation ed1a7d89-67be-4f74-939f-a98eca7fed23 · outbound

This paper cites Findings of the Association for Computational Linguistics: ACL 2025 , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Findings of the Association for Computational Linguistics: ACL 2025 , publisher =

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.080010Z

Source-reported events for the cited work

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

Observation d05f7660-0d59-4ffd-a53b-7a77f3c65a72 · outbound

This paper cites Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing , publisher =

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.068282Z

Source-reported events for the cited work

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

Observation 8b6abd19-0c03-4ef0-aca4-58391356f88f · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Advances in Neural Information Processing Systems , volume =

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.057047Z

Source-reported events for the cited work

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

Observation 980453c0-d9d3-495a-affa-a629ce011dbb · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence , volume =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the AAAI Conference on Artificial Intelligence , volume =

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.045551Z

Source-reported events for the cited work

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

Observation 6c4649a1-001c-41f6-896b-1189fb4a694d · outbound

This paper cites The Thirteenth International Conference on Learning Representations , year =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories The Thirteenth International Conference on Learning Representations , year =

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.034211Z

Source-reported events for the cited work

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

Observation 341febe4-9128-4436-80f7-94e977d84457 · outbound

This paper cites Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming , publisher =

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.023206Z

Source-reported events for the cited work

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

Observation 19c8c196-47dc-4f24-af88-e787f70ce52f · outbound

This paper cites , title =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories , title =

Reference 53

Resolution: verified exact; doi, observed 2026-08-11T10:34:43.521237Z

Source-reported events for the cited work

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

Observation 3b54dd4f-d10d-48ae-b12b-e760d3666acb · outbound

This paper cites Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing , publisher =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing , publisher =

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:45.012519Z

Source-reported events for the cited work

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

Observation db4d9a5f-45f6-456e-9229-f64a2b38696c · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 55

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:45.001558Z

Source-reported events for the cited work

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

Observation 1555c6ea-a027-4eee-b2f2-a95eb3880b3c · outbound

This paper cites 2026 , eprint =.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories 2026 , eprint =

Reference 56

Resolution: verified exact; doi, observed 2026-08-11T10:34:43.440526Z

Source-reported events for the cited work

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

Observation 83d3d7ed-ef10-437f-baff-ed5f8a49e584 · outbound

This paper cites SlopCodeBench: Benchmarking How Coding Agents Degrade Over Long-Horizon Iterative Tasks.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories SlopCodeBench: Benchmarking How Coding Agents Degrade Over Long-Horizon Iterative Tasks

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.114595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c7a6c9e-bb3b-46d7-a2a8-82e280fe27bf · outbound

This paper cites CodeChat-Eval: Evaluating Large Language Models in Multi-Turn Code Refinement Dialogues.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories CodeChat-Eval: Evaluating Large Language Models in Multi-Turn Code Refinement Dialogues

Reference 58

Resolution: verified exact; local_arxiv, observed 2026-08-11T10:34:43.314315Z

Source-reported events for the cited work

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

Observation 610482ae-5e4d-4c94-a9fa-4295b6922854 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 59

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.991159Z

Source-reported events for the cited work

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

Observation 365ef3c9-411e-41a4-b96f-e5feac8f7800 · outbound

This paper cites T.; Harman, M.; McMinn, P.; Shahbaz, M.; and Yoo, S.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories T.; Harman, M.; McMinn, P.; Shahbaz, M.; and Yoo, S

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.979931Z

Source-reported events for the cited work

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

Observation 32d383f4-1142-47cb-b40c-7005196cc9a4 · outbound

This paper cites SWE-Milestone: Evaluating AI Agents on Continuous Software Evolution.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories SWE-Milestone: Evaluating AI Agents on Continuous Software Evolution

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.129485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83224d92-a2a2-4186-b6e6-53f0ead5a8ff · outbound

This paper cites F.; Mulcaire, P.; Ning, Q.; Singh, S.; Smith, N.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories F.; Mulcaire, P.; Ning, Q.; Singh, S.; Smith, N

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.968767Z

Source-reported events for the cited work

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

Observation fcb09b28-c3b8-454f-b76c-732e80ce9297 · outbound

This paper cites A.; Aleti, A.; Neelofar, N.; Tantithamthavorn, C.; Qi, Y.; and Chen, T.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories A.; Aleti, A.; Neelofar, N.; Tantithamthavorn, C.; Qi, Y.; and Chen, T

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.957805Z

Source-reported events for the cited work

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

Observation c92c7f63-5906-4ced-8130-aa0cdb151fda · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 64

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.946522Z

Source-reported events for the cited work

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

Observation 391dda6e-32d0-4315-9449-6211102ee225 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 65

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.935943Z

Source-reported events for the cited work

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

Observation b93e864f-4f31-4a09-8145-73ab78dd068e · outbound

This paper cites Regression Accumulation in Multi-Turn LLM Programming Conversations.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Regression Accumulation in Multi-Turn LLM Programming Conversations

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.148854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4009740-d093-4659-9316-f396f9a25d74 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 67

Resolution: verified exact; raw_fallback, observed 2026-08-11T10:34:44.487791Z

Source-reported events for the cited work

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

Observation a1eed212-10cd-4da8-aadc-edd77d082789 · outbound

This paper cites E.; Yang, J.; Wettig, A.; Yao, S.; Pei, K.; Press, O.; and Narasimhan, K.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories E.; Yang, J.; Wettig, A.; Yao, S.; Pei, K.; Press, O.; and Narasimhan, K

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.925062Z

Source-reported events for the cited work

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

Observation 4af93484-48b2-45fd-9dd9-54656354a43e · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 69

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.914958Z

Source-reported events for the cited work

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

Observation 676b248b-9236-418e-930f-75f3f20397f9 · outbound

This paper cites SWE-Chain: Benchmarking Coding Agents on Chained Release-Level Package Upgrades.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories SWE-Chain: Benchmarking Coding Agents on Chained Release-Level Package Upgrades

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.163711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43ad6938-b151-43f9-a206-515950aba716 · outbound

This paper cites S.; Wang, Y.; and Zhang, L.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories S.; Wang, Y.; and Zhang, L

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.903968Z

Source-reported events for the cited work

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

Observation edd82f28-e704-4d55-9197-92a91dc481d3 · outbound

This paper cites F.; Lin, K.; Hewitt, J.; Paranjape, A.; Bevilacqua, M.; Petroni, F.; and Liang, P.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories F.; Lin, K.; Hewitt, J.; Paranjape, A.; Bevilacqua, M.; Petroni, F.; and Liang, P

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.892034Z

Source-reported events for the cited work

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

Observation 4400be29-14c5-4515-9e17-fcb4f6aa14ca · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 73

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.879878Z

Source-reported events for the cited work

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

Observation 3e617d4f-4ed6-4c8f-b664-f64b20ddb6c0 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.869034Z

Source-reported events for the cited work

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

Observation c4db6fb3-8825-42bb-b7eb-c792f71c83d5 · outbound

This paper cites SWE-INTERACT: Reimagining SWE Benchmarks as User-Driven Long-Horizon Coding Sessions.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories SWE-INTERACT: Reimagining SWE Benchmarks as User-Driven Long-Horizon Coding Sessions

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.182642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6df7add0-b415-4e12-829e-16f15b88d88b · outbound

This paper cites C.; Hamdy, M.; Campos, J.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories C.; Hamdy, M.; Campos, J

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.858722Z

Source-reported events for the cited work

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

Observation a35ee959-a3e2-4ff1-93c4-6c10016a3bad · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.189326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1aec150a-f165-4d64-b52e-d45baf4c1b96 · outbound

This paper cites T.; Wu, T.; Guestrin, C.; and Singh, S.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories T.; Wu, T.; Guestrin, C.; and Singh, S

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.849385Z

Source-reported events for the cited work

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

Observation 7a61afef-bb72-4e52-80a2-10808d924024 · outbound

This paper cites B.; and Ruiz-Cort \'e s, A.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories B.; and Ruiz-Cort \'e s, A

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.839263Z

Source-reported events for the cited work

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

Observation c78886e1-8b0e-4aff-9668-97f1b9409e22 · outbound

This paper cites EvoCode-Bench: Evaluating Coding Agents in Multi-Turn Iterative Interactions.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories EvoCode-Bench: Evaluating Coding Agents in Multi-Turn Iterative Interactions

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.198782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d74515bc-c2f5-4a53-be5c-01b0db27ee2f · outbound

This paper cites StaminaBench: Stress-Testing Coding Agents over 100 Interaction Turns.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories StaminaBench: Stress-Testing Coding Agents over 100 Interaction Turns

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.202531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa4ff6e0-cd3a-4499-a3a1-5c804eec705f · outbound

This paper cites Search Beyond What Can Be Taught: Evolving the Knowledge Boundary in Agentic Visual Generation.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Search Beyond What Can Be Taught: Evolving the Knowledge Boundary in Agentic Visual Generation

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.206232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a559ebdd-5058-4316-848d-642a03106a08 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 83

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.828855Z

Source-reported events for the cited work

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

Observation 0eb3bfac-e3a8-486e-b7e4-abfb506d2f0f · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 84

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.817512Z

Source-reported events for the cited work

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

Observation 677e0ec6-af1c-4152-851a-dc1519fdbde4 · outbound

This paper cites RationalRewards: Reasoning Rewards Scale Visual Generation Both Training and Test Time.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories RationalRewards: Reasoning Rewards Scale Visual Generation Both Training and Test Time

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.217965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b05b4584-53f4-4ebb-ad12-7561e5160089 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 86

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.806837Z

Source-reported events for the cited work

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

Observation f6174351-c314-4bb3-8ac4-6597891711c8 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 87

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.796140Z

Source-reported events for the cited work

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

Observation 79c53a04-fd00-4b2a-b0e4-220ce12b8559 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.229538Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f44af3a5-c369-4747-afa7-08392b93bcff · outbound

This paper cites K.; Roth, D.; and Xiang, B.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories K.; Roth, D.; and Xiang, B

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.785286Z

Source-reported events for the cited work

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

Observation a12899ea-fa31-41b3-aca8-b62415e23470 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 90

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.774540Z

Source-reported events for the cited work

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

Observation eba28fe5-b6af-4a81-87df-f26cbe59a92c · outbound

This paper cites Validating LLM-Generated Programs with Metamorphic Prompt Testing.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.241259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e4f5bed-3cdd-46a6-8366-bbd45f941154 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 92

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.763880Z

Source-reported events for the cited work

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

Observation f9f1856b-4402-40a1-b36d-584c6622abb7 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 93

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.752736Z

Source-reported events for the cited work

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

Observation 417f7511-7a68-4bdb-a3ff-1cb836d18e33 · outbound

This paper cites S.; Deng, Y.; Dunn, S.; and Zhang, L.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories S.; Deng, Y.; Dunn, S.; and Zhang, L

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.742149Z

Source-reported events for the cited work

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

Observation 7e2e6b70-75a2-45bf-8553-908122f8dcf1 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 95

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.731108Z

Source-reported events for the cited work

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

Observation 36c739b4-5841-4c71-965f-f804f1666225 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 96

Resolution: verified exact; raw_fallback, observed 2026-08-11T10:34:44.117462Z

Source-reported events for the cited work

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

Observation 06461e3b-0776-4bd7-84f1-11ef76d1a0e4 · outbound

This paper cites E.; Wettig, A.; Lieret, K.; Yao, S.; Narasimhan, K.; and Press, O.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories E.; Wettig, A.; Lieret, K.; Yao, S.; Narasimhan, K.; and Press, O

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T10:34:44.719112Z

Source-reported events for the cited work

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

Observation ca948b89-d23f-44d8-bd29-0c7132ffb230 · outbound

This paper cites Revisable by Design: A Theory of Streaming LLM Agent Execution.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Revisable by Design: A Theory of Streaming LLM Agent Execution

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.267326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 318b24fb-b858-445e-8378-0d6eab8984d6 · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 99

Resolution: verified exact; raw_fallback, observed 2026-08-11T10:34:44.029474Z

Source-reported events for the cited work

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

Observation ea66bd90-00ba-44b3-8be3-3c7a4d87788c · outbound

This paper cites Your Agents Are Aging Too: Agent Lifespan Engineering for Deployed Systems.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Your Agents Are Aging Too: Agent Lifespan Engineering for Deployed Systems

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.274824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77bf5759-0680-4997-abde-d9da0ede22aa · outbound

This paper cites an unresolved cited work.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Unresolved cited work

Reference 101

Resolution: unresolved; raw_fallback, observed 2026-08-11T10:34:44.707254Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers