Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-03T08:50:32.664434Z
Paper Citation Record · LEDGER
Prompt Coverage Adequacy
As of 4 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2607.02057.
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-04T06:34:03.388597+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
39 of 39 outbound references displayed
- verified exact17
- verified fuzzy10
- unresolved1
- parse uncertain0
- malformed identifier3
- metadata mismatch8
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 18a52207-0407-4e32-8190-540a8af89f7e · outbound
This paper cites glmmTMB.
Prompt Coverage Adequacy glmmTMB
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.252647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 63d15bcb-b116-49e9-a8e2-02363959074f · outbound
This paper cites Replication package,.
Prompt Coverage Adequacy Replication package,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.260642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 4313e4ab-2403-4f94-87ba-baa14fec5fcb · outbound
This paper cites Claude code,.
Prompt Coverage Adequacy Claude code,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.275430Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f95a8697-05ef-459b-843a-8dc3a4b88775 · outbound
This paper cites Antoniol, G.
Prompt Coverage Adequacy Antoniol, G
Reference 4
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-03T08:57:47.159101Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation dbe89241-66ad-450b-8d48-85d81cc6ca2e · outbound
This paper cites [Online].
Prompt Coverage Adequacy [Online]
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.262954Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 26842324-9028-4ef4-b8b4-12abbb958fc5 · outbound
This paper cites Program Synthesis with Large Language Models.
Prompt Coverage Adequacy Program Synthesis with Large Language Models
Reference 7
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-03T08:57:47.371444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation bdb332d4-107d-4cd4-8588-ed8d86172891 · outbound
This paper cites Evaluating Large Language Models Trained on Code.
Prompt Coverage Adequacy Evaluating Large Language Models Trained on Code
Reference 8
- Resolution
- verified exact
- local_arxiv, observed 2026-07-03T08:57:47.374238Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 505ea691-76cc-40dc-830d-cf0d78810212 · outbound
This paper cites ExpeL: LLM Agents Are Experiential Learners.
Prompt Coverage Adequacy ExpeL: LLM Agents Are Experiential Learners
Reference 9
- Resolution
- malformed identifier
- doi_truncated, observed 2026-07-03T08:57:47.146907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d6c5e06a-e736-4261-8a9d-4aa1adc03828 · outbound
This paper cites Large Language Models for Software Engineering: Survey and Open Problems.
Prompt Coverage Adequacy Large Language Models for Software Engineering: Survey and Open Problems
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-07-03T08:57:47.162455Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1193122e-1c9d-46f9-9b03-e259c2905785 · outbound
This paper cites Vibe coding in practice: Motivations, challenges, and a future outlook-a grey literature review.
Prompt Coverage Adequacy Vibe coding in practice: Motivations, challenges, and a future outlook-a grey literature review
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-07-03T08:57:47.349631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation dca9f016-67e6-4894-bfbb-1e3d25c2cea8 · outbound
This paper cites Reachability and propagation for LTL requirements testing,.
Prompt Coverage Adequacy Reachability and propagation for LTL requirements testing,
Reference 12
- Resolution
- verified exact
- doi, observed 2026-07-03T08:57:47.140628Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation dc8f54cb-10c6-4413-8cd5-ac724e97dd51 · outbound
This paper cites 2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation.
Prompt Coverage Adequacy 2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
Reference 13
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-03T08:57:47.165238Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d7efcc1d-c0cf-4181-8007-26787a5c1e78 · outbound
This paper cites Github copilot,.
Prompt Coverage Adequacy Github copilot,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.254513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 168028ec-f61e-47bf-8033-e86e18411e0f · outbound
This paper cites Semantically enhanced software traceability using deep learning techniques,.
Prompt Coverage Adequacy Semantically enhanced software traceability using deep learning techniques,
Reference 15
- Resolution
- verified exact
- doi, observed 2026-07-03T08:57:47.166653Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation fb1777b0-5e68-4b4c-ab2b-cee363bd0adf · outbound
This paper cites Livecodebench: Holistic and contamination free evaluation of large language models for code,.
Prompt Coverage Adequacy Livecodebench: Holistic and contamination free evaluation of large language models for code,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.268020Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation e2b809a2-57e4-4b6c-8dbd-91af5ded388e · outbound
This paper cites A ttention is not E xplanation.
Prompt Coverage Adequacy A ttention is not E xplanation
Reference 17
- Resolution
- verified exact
- doi, observed 2026-07-03T08:57:47.183153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 083f7979-2abf-4259-be75-9bcda7fc0aa5 · outbound
This paper cites vibe coding.
Prompt Coverage Adequacy vibe coding
Reference 18
- Resolution
- verified exact
- arxiv_id, observed 2026-07-03T08:57:47.352453Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 86fb5d89-d5bd-4466-b312-7de292289eae · outbound
This paper cites Likelihood-based inference for generalized linear mixed models: Inference with the r package glmm,.
Prompt Coverage Adequacy Likelihood-based inference for generalized linear mixed models: Inference with the r package glmm,
Reference 19
- Resolution
- malformed identifier
- doi_truncated, observed 2026-07-03T08:57:47.175321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 587eabcc-278b-414c-a8af-52ec89458e9a · outbound
This paper cites How well LLM-based test generation techniques perform with newer LLM versions?.
Prompt Coverage Adequacy How well LLM-based test generation techniques perform with newer LLM versions?
Reference 20
- Resolution
- verified exact
- arxiv_id, observed 2026-07-30T02:04:30.107638Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ca5288d8-492c-401b-9558-0075b96e061b · outbound
This paper cites Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,.
Prompt Coverage Adequacy Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.272890Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation fde2b98a-78d7-4dc8-bd3b-fedf2c1afbd1 · outbound
This paper cites Do information retrieval algorithms for automated traceability perform effectively on issue tracking system data?.
Prompt Coverage Adequacy Do information retrieval algorithms for automated traceability perform effectively on issue tracking system data?
Reference 22
- Resolution
- verified exact
- doi, observed 2026-07-03T08:57:47.199381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 9fa33e59-8d1c-4d53-bad0-3aeccbaaf839 · outbound
This paper cites an unresolved cited work.
Prompt Coverage Adequacy Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-07-05T10:40:55.265242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 81c8b7a9-f7b9-403e-b2ac-13ef7cfb4884 · outbound
This paper cites 2018.Mutation Testing Advances: An Analysis and Survey.
Prompt Coverage Adequacy 2018.Mutation Testing Advances: An Analysis and Survey
Reference 24
- Resolution
- verified exact
- doi, observed 2026-07-03T08:57:47.167194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d467ceeb-ee8b-433a-8e2d-627f559429dd · outbound
This paper cites Coverup: Effective high coverage test generation for python,.
Prompt Coverage Adequacy Coverup: Effective high coverage test generation for python,
Reference 25
- Resolution
- verified exact
- doi, observed 2026-07-03T08:57:47.172130Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d3af617e-9b16-4086-83ca-0a160c51881f · outbound
This paper cites Model-based testing in practice,.
Prompt Coverage Adequacy Model-based testing in practice,
Reference 26
- Resolution
- verified exact
- doi, observed 2026-07-03T08:57:47.197524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation cd65238c-798a-42d2-817f-abbc7c3e7d44 · outbound
This paper cites On the ”naturalness.
Prompt Coverage Adequacy On the ”naturalness
Reference 27
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-03T08:57:47.200269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 492fb6b6-1bc6-4cd8-9d07-1eca18fed980 · outbound
This paper cites Neural language models for code quality identification,.
Prompt Coverage Adequacy Neural language models for code quality identification,
Reference 28
- Resolution
- verified exact
- arxiv_id, observed 2026-07-03T08:57:47.190975Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d377335c-2a96-4058-a660-9dda2fe5ee80 · outbound
This paper cites Sommerville,Software engineering, 9/E.
Prompt Coverage Adequacy Sommerville,Software engineering, 9/E
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.256371Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d7e20bf8-04b2-4c42-9dba-0bd597c10712 · outbound
This paper cites Toward automated validation of language model synthesized test cases using semantic entropy,.
Prompt Coverage Adequacy Toward automated validation of language model synthesized test cases using semantic entropy,
Reference 30
- Resolution
- verified exact
- arxiv_id, observed 2026-07-03T08:57:47.195464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation ad33dc5d-bb12-4455-b60e-32940624ac9a · outbound
This paper cites Desmarais, and Giuliano Antoniol.
Prompt Coverage Adequacy Desmarais, and Giuliano Antoniol
Reference 31
- Resolution
- metadata mismatch
- doi, observed 2026-07-03T08:57:47.192861Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d68876cd-e0c4-45c4-b150-ea79b6dc0ff8 · outbound
This paper cites A taxonomy of model-based testing approaches.
Prompt Coverage Adequacy A taxonomy of model-based testing approaches
Reference 32
- Resolution
- verified exact
- doi, observed 2026-07-03T08:57:47.202242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 1d13b007-f5bd-4610-841f-aad27c33fdca · outbound
This paper cites Attention is all you need,.
Prompt Coverage Adequacy Attention is all you need,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.270401Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation c8a25b98-a4b3-4cb4-9725-e259ca0c5f07 · outbound
This paper cites Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers) , pages =.
Prompt Coverage Adequacy Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers) , pages =
Reference 34
- Resolution
- metadata mismatch
- doi, observed 2026-07-03T08:57:47.181467Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 366c9d61-db22-40c1-a08a-d7c6264a9f2b · outbound
This paper cites Counterfactual explanations and algorithmic recourses for machine learning: A review,.
Prompt Coverage Adequacy Counterfactual explanations and algorithmic recourses for machine learning: A review,
Reference 35
- Resolution
- malformed identifier
- doi_truncated, observed 2026-07-03T08:57:47.201415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 8c1ddff5-dc93-42d1-be26-71f0a7915cf4 · outbound
This paper cites Software testing with large language models: Survey, landscape, and vision.
Prompt Coverage Adequacy Software testing with large language models: Survey, landscape, and vision
Reference 36
- Resolution
- verified exact
- arxiv_id, observed 2026-07-03T08:57:47.180767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 387cc02a-9c31-4929-8f1f-356f26a94c67 · outbound
This paper cites In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20.
Prompt Coverage Adequacy In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20
Reference 37
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-03T08:57:47.195095Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d95a0089-a93f-4e41-b8ef-e8c0c928db5d · outbound
This paper cites Swe-agent: Agent-computer interfaces enable automated software engineering,.
Prompt Coverage Adequacy Swe-agent: Agent-computer interfaces enable automated software engineering,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-05T10:40:55.258576Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 31340490-366e-40be-9e0d-ccf031e43ae0 · outbound
This paper cites In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (Vienna, Austria) (ISSTA 2024).
Prompt Coverage Adequacy In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (Vienna, Austria) (ISSTA 2024)
Reference 39
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-03T08:57:47.192546Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation af45736b-7470-46f1-a9c5-441d30761c1a · outbound
This paper cites Software unit test coverage and adequacy,.
Prompt Coverage Adequacy Software unit test coverage and adequacy,
Reference 40
- Resolution
- verified exact
- arxiv_id, observed 2026-07-03T08:57:47.190004Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Pith citing papers
No inbound Pith citation observations are available.