{"as_of":"2026-08-05T09:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f1d228b76eaf14dd7aea809593eb5b96584fb3080b46df67b4efe5d8e41c0329","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-03T08:50:32.664434Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.02057/citation-record","integrity":"/paper/2607.02057/integrity","json":"/paper/2607.02057/citation-record.json","paper":"/paper/2607.02057"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.251043Z","title":"glmmTMB","venue":null,"work_id":"b9425c01-27f2-4fe6-8431-0d1bf788ccc9","year":null},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:ef64f6eab3d8d7588e60e6511d9c8dcf3af1b9b983123bd84f6891cab2ed8564","observation_id":"18a52207-0407-4e32-8190-540a8af89f7e","resolution":{"observed_at":"2026-07-05T10:40:55.252647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.259202Z","title":"Replication package,","venue":null,"work_id":"e17399a0-e4de-4585-8eae-dbcbf6370a7c","year":null},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:b52aa6d86817b7b4100f50d609a4ddb01460032d80f7f6389490d11fc2cee192","observation_id":"63d15bcb-b116-49e9-a8e2-02363959074f","resolution":{"observed_at":"2026-07-05T10:40:55.260642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.273640Z","title":"Claude code,","venue":null,"work_id":"ee14ab41-ef1b-4fec-b7b8-2b2cee8cefde","year":2025},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:1c51dc27bba4a5c781488c11a212e2a5343fad4a8f413a35ccdfd8c8f1afe02c","observation_id":"4313e4ab-2403-4f94-87ba-baa14fec5fcb","resolution":{"observed_at":"2026-07-05T10:40:55.275430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2002.104105","doi":"10.1109/tse.2002.1041053","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Antoniol, G","venue":"IEEE Transactions on Software Engineering","work_id":"8a7c4bad-aa7b-4a98-a6eb-9ad5ad2a8832","year":2002},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:d4dc13a3dc27a195d21fa8f0f860ccc45f9dea983978186358c562948c6b31f0","observation_id":"f95a8697-05ef-459b-843a-8dc3a4b88775","resolution":{"observed_at":"2026-07-03T08:57:47.159101Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.261381Z","title":"[Online]","venue":null,"work_id":"f568d49c-61d8-411d-b456-2b6045eaae93","year":2024},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:bf2380c324573cd72663a45cdf9839a911a5690ccd805af2c1ff6d4e46987701","observation_id":"dbe89241-66ad-450b-8d48-85d81cc6ca2e","resolution":{"observed_at":"2026-07-05T10:40:55.262954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":"2108.07732","doi":"10.1007/s11390-025-5518-5","metadata_source":"pith","pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Program Synthesis with Large Language Models","venue":"cs.PL","work_id":"fd241a05-03b9-4de2-9588-9d77ce176125","year":2021},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:2e7a3e3cf78800e1f19680ee11ee295980332b9f92e2b78c318aeb8e20b4d4cc","observation_id":"26842324-9028-4ef4-b8b4-12abbb958fc5","resolution":{"observed_at":"2026-07-03T08:57:47.371444Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":"2107.03374","doi":"10.48550/arxiv.2107.03374","metadata_source":"pith","pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Evaluating Large Language Models Trained on Code","venue":"cs.LG","work_id":"042493e9-b26f-4b4e-bbde-382072ca9b08","year":2021},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:b280398c60ce884958f21e20325a2cea7d23ef50b61732a6b26cbbc2391c8cdc","observation_id":"bdb332d4-107d-4cd4-8588-ed8d86172891","resolution":{"observed_at":"2026-07-03T08:57:47.374238Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/a","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T17:39:59.417035Z","title":"ExpeL: LLM Agents Are Experiential Learners","venue":null,"work_id":"1211ab04-cd9f-4cc8-8969-5753e977c656","year":2025},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:ad8ddd544c7ac3420a49e8fe3e0e4303f6e18eaabd8c934ccca2bd2aea8b5e6e","observation_id":"505ea691-76cc-40dc-830d-cf0d78810212","resolution":{"observed_at":"2026-07-03T08:57:47.146907Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9343.2023","doi":"10.1109/icse-fose59343.2023.00","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Large Language Models for Software Engineering: Survey and Open Problems","venue":null,"work_id":"556c8ff8-5b2a-4b5b-8049-b48b2d5061e7","year":2023},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:7d45b63ebc966055aa6dde3fc5a3cdec0a3f2caf9781aec4be4a8964220bdab3","observation_id":"d6c5e06a-e736-4261-8a9d-4aa1adc03828","resolution":{"observed_at":"2026-07-03T08:57:47.162455Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.00328","doi":"10.48550/arxiv.2510.00328","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Vibe coding in practice: Motivations, challenges, and a future outlook-a grey literature review","venue":"ArXiv.org","work_id":"f7593ae2-5fd6-4733-ae15-f1641d3079c6","year":2025},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:a792e0af717f43db84520edb1ec1c63b7e9760826c3baac845e7351e1c3c164c","observation_id":"1193122e-1c9d-46f9-9b03-e259c2905785","resolution":{"observed_at":"2026-07-03T08:57:47.349631Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T10:18:59.814454+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T10:18:59.814454+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/qsic.2008.21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Reachability and propagation for LTL requirements testing,","venue":null,"work_id":"f6b0a471-2636-42de-a378-a0e5c4dc3ab7","year":2008},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:7791fe9a57fb2fc010a6fb0948f9e3d09fbb2e3fead12722242e35289b9be1cc","observation_id":"dca9f016-67e6-4894-bfbb-1e3d25c2cea8","resolution":{"observed_at":"2026-07-03T08:57:47.140628Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5347.2025","doi":"10.1109/icse55347.2025","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation","venue":null,"work_id":"c383b7e9-bd1e-4268-b134-a4e43d7560a3","year":2025},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:0a32984cf3a986c9ff3e3e66cf8e5d3305457b76dc2ba8a6a7a8e58a9ea87c22","observation_id":"dc8f54cb-10c6-4413-8cd5-ac724e97dd51","resolution":{"observed_at":"2026-07-03T08:57:47.165238Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.253268Z","title":"Github copilot,","venue":null,"work_id":"5c7d3ce0-a37e-4cf0-9f33-c200d1bfa288","year":2021},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:6e3b65870a2b94a36568974f60ae53f27440186e9df8344f4ed3f832843f24fd","observation_id":"d7efcc1d-c0cf-4181-8007-26787a5c1e78","resolution":{"observed_at":"2026-07-05T10:40:55.254513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/icse.2017.9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Semantically enhanced software traceability using deep learning techniques,","venue":null,"work_id":"58a0e1b3-01f4-4164-a320-833952a8ec2b","year":2017},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:87c394c5befa0f1e134f087ee49a76ceab683235530d14a465d795e5e52d2d99","observation_id":"168028ec-f61e-47bf-8033-e86e18411e0f","resolution":{"observed_at":"2026-07-03T08:57:47.166653Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.266042Z","title":"Livecodebench: Holistic and contamination free evaluation of large language models for code,","venue":null,"work_id":"fb3f017d-d0fa-4e3e-b8ce-f8fa04f5dbab","year":2025},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:f33290ee9f923b14345f280cea71ad283f5d3d633291d1b618c69820990bff4e","observation_id":"fb1777b0-5e68-4b4c-ab2b-cee363bd0adf","resolution":{"observed_at":"2026-07-05T10:40:55.268020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/n19-1357","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A ttention is not E xplanation","venue":null,"work_id":"80233ae8-2e9c-4369-9eaf-eb4fcfd7bebb","year":2019},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:d00f85d81a81be9f1906526719a8edef80d7e60cc60efc18f0440dd27eee48d7","observation_id":"e2b809a2-57e4-4b6c-8dbd-91af5ded388e","resolution":{"observed_at":"2026-07-03T08:57:47.183153Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-22T07:23:16.029039+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-22T07:23:16.029039+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"status/1886192","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T03:05:54.895167Z","title":"vibe coding","venue":null,"work_id":"22200c18-3ab0-4c02-9a8b-0e8ee351db17","year":2025},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:a54dbc11f33a9e560aebd52b05d67b8e7f7838ad6483349f3c63fbb9e82bfeb4","observation_id":"083f7979-2abf-4259-be75-9bcda7fc0aa5","resolution":{"observed_at":"2026-07-03T08:57:47.352453Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/sta4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:57:47.172299Z","title":"Likelihood-based inference for generalized linear mixed models: Inference with the r package glmm,","venue":null,"work_id":"4ee89a32-9d07-48fb-8233-2dff11717382","year":2021},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:57c79b71e0873e178e812e24204da02388bbb29329bf394fa32bd09d4a96c0f5","observation_id":"86fb5d89-d5bd-4466-b312-7de292289eae","resolution":{"observed_at":"2026-07-03T08:57:47.175321Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2601.09695","last_updated":"2026-07-29T12:00:14Z","snapshot_observed_at":"2026-08-03T10:33:55.511636Z","submitted_at":"2026-01-14T18:46:32Z","title":"How well LLM-based test generation techniques perform with newer LLM versions?","version":2},"cited_work":{"arxiv_id":"2601.09695","doi":"10.48550/arxiv.2601.09695","metadata_source":"arxiv_reference","pith_arxiv_id":"2601.09695","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"How well llm-based test generation techniques perform with newer LLM versions?","venue":"arXiv (Cornell University)","work_id":"1c10c355-57ff-45ad-b30e-c4456e1a813b","year":2026},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"cited_paper":"/paper/2601.09695","citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:e04cfd0f036804b78b8e43a26ea15944f1f4cfd8f3d684b855bab7e938ae813a","observation_id":"587eabcc-278b-414c-a8af-52ec89458e9a","resolution":{"observed_at":"2026-07-30T02:04:30.107638Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.271149Z","title":"Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,","venue":null,"work_id":"59c08e47-39d1-4203-9ab3-1a7e0ba55440","year":2023},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:b143d9ca71c38c4b563781ff8755f8354369f2a36924b08b01d425b6eff1aeba","observation_id":"ca5288d8-492c-401b-9558-0075b96e061b","resolution":{"observed_at":"2026-07-05T10:40:55.272890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-30282-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:57:47.197986Z","title":"Do information retrieval algorithms for automated traceability perform effectively on issue tracking system data?","venue":null,"work_id":"b1ea2192-c0df-4f43-a035-287b659f502c","year":2016},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:ba47e57aae7cc208efe2ccc06a613639c4069d168193ab2d5395f3d82331cb54","observation_id":"fde2b98a-78d7-4dc8-bd3b-fedf2c1afbd1","resolution":{"observed_at":"2026-07-03T08:57:47.199381Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.263705Z","title":null,"venue":null,"work_id":"d213ff2d-a772-42d5-a12c-ae68c02960ec","year":2004},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:88bc8d6c90096a5de22946704572c10127e729596bd948221060c237ffb965db","observation_id":"9fa33e59-8d1c-4d53-bad0-3aeccbaaf839","resolution":{"observed_at":"2026-07-05T10:40:55.265242Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/bs.adcom.2018.03.015","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2018.Mutation Testing Advances: An Analysis and Survey","venue":"Advances in computers","work_id":"aca12575-2607-4f20-a95b-d061c6136d00","year":2019},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:10fcabbf6ac9eb8430716b27b81a9c169f5476d880096f38f31c25745a600aa2","observation_id":"81c8b7a9-f7b9-403e-b2ac-13ef7cfb4884","resolution":{"observed_at":"2026-07-03T08:57:47.167194Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-22T11:53:01.246655+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-22T11:53:01.246655+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3729398","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Coverup: Effective high coverage test generation for python,","venue":"Proceedings of the ACM on software engineering.","work_id":"64e7a051-6fed-41f3-91e3-d05f5c608aa5","year":2025},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:0491ddfd2dd2908f1caeeb744f9ae59ab0f961845686188073a660e6642d68d6","observation_id":"d467ceeb-ee8b-433a-8e2d-627f559429dd","resolution":{"observed_at":"2026-07-03T08:57:47.172130Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-12T11:50:22.213773+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T11:50:22.213773+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11526841","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:57:47.196021Z","title":"Model-based testing in practice,","venue":null,"work_id":"18d3a7ab-2924-436f-a18b-ec9b4820cfc8","year":2005},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:fa746fb9ffe01ed4f376fa8024dcf53793ea6639e70c3a9779f96603fc47ef5a","observation_id":"d3af617e-9b16-4086-83ca-0a160c51881f","resolution":{"observed_at":"2026-07-03T08:57:47.197524Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4781.288484","doi":"10.1145/2884781.2884840","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"On the ”naturalness","venue":null,"work_id":"2cd5371f-c592-4aea-9bd1-eedcaca6198e","year":2016},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:9d1fd3dab44c7a0693e6ef32db1a78bd25bbd5e2333a2d85b28a0e460917cba9","observation_id":"cd65238c-798a-42d2-817f-abbc7c3e7d44","resolution":{"observed_at":"2026-07-03T08:57:47.200269Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9034.356117","doi":"10.1145/3549034.3561175","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Neural language models for code quality identification,","venue":null,"work_id":"74a4d609-1b8a-4df7-af50-34c62d0e01fc","year":2022},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:8b0f4dc0d77b8fa7b6a398d734a9c1e115af69c02d0e43512fc9395dd9d63a87","observation_id":"492fb6b6-1bc6-4cd8-9d07-1eca18fed980","resolution":{"observed_at":"2026-07-03T08:57:47.190975Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.255078Z","title":"Sommerville,Software engineering, 9/E","venue":null,"work_id":"39012f9c-253f-47f3-9665-b88f46b948b7","year":2011},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:5122c99dcd31f7b0b90bc9d49539150fbab985de079441184378e2c6d3509ed6","observation_id":"d377335c-2a96-4058-a660-9dda2fe5ee80","resolution":{"observed_at":"2026-07-05T10:40:55.256371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2026.366428","doi":"10.1109/tse.2026.3664287","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Toward automated validation of language model synthesized test cases using semantic entropy,","venue":"IEEE Transactions on Software Engineering","work_id":"7922f8d0-9e60-40c9-b40b-0cc546e50ed1","year":2026},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:7be550df02859d60ac81b6f23f622fbfa38cfc6a336242bf5feff1f47b8735df","observation_id":"d7e20bf8-04b2-4c42-9dba-0bd597c10712","resolution":{"observed_at":"2026-07-03T08:57:47.195464Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10664-025-10614-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Desmarais, and Giuliano Antoniol","venue":"Empirical Software Engineering","work_id":"8d2704d6-9aca-4dd2-b608-10d0c21c3c0c","year":2025},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:c1a014e132cac8f1ae91a79d1846032dbdea352636229d227f893cf230b7fe44","observation_id":"ad33dc5d-bb12-4455-b60e-32940624ac9a","resolution":{"observed_at":"2026-07-03T08:57:47.192861Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T06:20:43.370511+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T06:20:43.370511+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/stvr.456","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A taxonomy of model-based testing approaches","venue":"Software Testing Verification and Reliability","work_id":"e0b7ddc4-758f-4ae0-a912-045f5e803db4","year":2012},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:3a1f639303c8d2298497558c95918c1bcd486aa3b3c61774d4a9288ca1b369c6","observation_id":"d68876cd-e0c4-45c4-b150-ea79b6dc0ff8","resolution":{"observed_at":"2026-07-03T08:57:47.202242Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-08T22:45:40.847752Z","title":"Attention is all you need,","venue":null,"work_id":"ac4fb54f-9a9d-4e21-ad3d-9a76ace8b8d0","year":2017},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:2bd2a1589953aedfe34d8e5162edb5c4012664dc7ec10f02b984737fdd1f3480","observation_id":"1d13b007-f5bd-4610-841f-aad27c33fdca","resolution":{"observed_at":"2026-07-05T10:40:55.270401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2026.eacl-long.174","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers) , pages =","venue":null,"work_id":"fd7f810d-7620-42be-aa6a-60a0c6eb99bd","year":2026},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:6642aa19548c5942346913cbcc83a49d97705fa9a2b5ee7b6cfd0795d027bd7b","observation_id":"c8a25b98-a4b3-4cb4-9725-e259ca0c5f07","resolution":{"observed_at":"2026-07-03T08:57:47.181467Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3677","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:57:47.200113Z","title":"Counterfactual explanations and algorithmic recourses for machine learning: A review,","venue":null,"work_id":"f5bf1236-3e42-492f-8a2c-015f73210120","year":2024},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:1e35acc55a8036261c3ea4300306c4a6d783243228f270ebe6aa9addec462e02","observation_id":"366c9d61-db22-40c1-a08a-d7c6264a9f2b","resolution":{"observed_at":"2026-07-03T08:57:47.201415Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2024.336820","doi":"10.1109/tse.2024.3368208","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Software testing with large language models: Survey, landscape, and vision","venue":"IEEE Transactions on Software Engineering","work_id":"87a8e915-2842-4902-907a-43332b9394d9","year":2024},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:3a10c3ce4017ef1254d1782f70bd7849d3404ff794346405af1a135fd7dec7c4","observation_id":"8c1ddff5-dc93-42d1-be26-71f0a7915cf4","resolution":{"observed_at":"2026-07-03T08:57:47.180767Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T21:49:40.687941+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T21:49:40.687941+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8619.2023","doi":"10.1109/icse48619.2023","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20","venue":null,"work_id":"5955f330-cfab-45b0-9ff5-4dd04bca728a","year":2023},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:ea62f60342bda8929c5320b272ad1dd3c1372a5a92dfe687d3508b6bee71a5e7","observation_id":"387cc02a-9c31-4929-8f1f-356f26a94c67","resolution":{"observed_at":"2026-07-03T08:57:47.195095Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T01:51:00.227285+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T01:51:00.227285+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T10:40:55.256997Z","title":"Swe-agent: Agent-computer interfaces enable automated software engineering,","venue":null,"work_id":"4a4708c1-8caf-4978-9790-0d586e05c8d3","year":2024},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:9dda657ac861ecccb3c2b04a2f0a4dc8abf28c091e3d9cd9e8fbb22913894c74","observation_id":"d95a0089-a93f-4e41-b8ef-e8c0c928db5d","resolution":{"observed_at":"2026-07-05T10:40:55.258576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0212.368038","doi":"10.1145/3650212.3680381","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (Vienna, Austria) (ISSTA 2024)","venue":null,"work_id":"89646ac3-6811-4a11-9005-7942fb6e88d7","year":2024},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:e8241ef30e5c34d4bb54b7b2d998558a6bae4af4f21e692a78d9d6b652ecabfc","observation_id":"31340490-366e-40be-9e0d-ccf031e43ae0","resolution":{"observed_at":"2026-07-03T08:57:47.192546Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7580.267590","doi":"10.1145/267580.267590","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Software unit test coverage and adequacy,","venue":"ACM Computing Surveys","work_id":"643c51fb-1c52-48b4-9bbd-9c8b569887a6","year":1997},"citing_paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-03T08:50:32.664434Z"},"links":{"citing_paper":"/paper/2607.02057"},"observation_digest":"sha256:8378c6cd04bd0739ce826fb61e91e2e579668ad483760f851c1c3e98ca55f3e0","observation_id":"af45736b-7470-46f1-a9c5-441d30761c1a","resolution":{"observed_at":"2026-07-03T08:57:47.190004Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.02057","last_updated":"2026-07-02T11:35:39Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-07T00:07:33.184524Z","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":3,"metadata_mismatch":8,"parse_uncertain":0,"unresolved":1,"verified_exact":17,"verified_fuzzy":10},"total_outbound_references":39},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2607.02057."}