{"as_of":"2026-08-09T10:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a187e852e7232e2ed18c27c23ff4a3f88ed6010568ddaf03dad58c94ee6fe3d4","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T08:56:26.768460Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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.27359/citation-record","integrity":"/paper/2607.27359/integrity","json":"/paper/2607.27359/citation-record.json","paper":"/paper/2607.27359"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:23.397537Z","title":"Evosuite: automatic test suite generation for object-oriented software,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:23.397537Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:74f7c31f768d2533d09551576278a418b0ec02b65254c18d3e05df2c46fe938e","observation_id":"d1da09dd-f8e4-4629-9c02-c859ae4a7761","resolution":{"observed_at":"2026-08-01T08:56:23.397537Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:23.469182Z","title":"QuickCheck: A lightweight tool for random testing of haskell programs,","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:23.469182Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:dde9c9b51503f75a511de82b546f1d5445488b66c7a8a5c3ecabeea46bd6fd8e","observation_id":"30c2774a-f862-4bdc-8506-a7fbb7e64d91","resolution":{"observed_at":"2026-08-01T08:56:23.469182Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:23.633139Z","title":"Property-based testing in practice,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:23.633139Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:3348f8a502f4e78b6c36627368a1e9c125d18298db5bf7ea39b91cf4e20988e0","observation_id":"3c615295-ebab-40ea-ad83-ebd1b87542d9","resolution":{"observed_at":"2026-08-01T08:56:23.633139Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:23.779986Z","title":"Targeted property-based testing,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:23.779986Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:8584b7816fec960dd324ce789dc773615456331f6c61795827acaa9654801a1c","observation_id":"640a1506-81cf-4338-a042-ead9f3d5c8c5","resolution":{"observed_at":"2026-08-01T08:56:23.779986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:23.940006Z","title":"jqwik: Property-based testing on the jvm,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:23.940006Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:d360bc288995f166c5ea11875259cc014f9e6aee78083d19fa2b5353e90d00e2","observation_id":"163f1458-2822-411e-b15c-4e451a10d45d","resolution":{"observed_at":"2026-08-01T08:56:23.940006Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:24.102048Z","title":"JQF: Coverage-guided property- based testing in java,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:24.102048Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:6679d41f117abae964a3e54ac40da25c62fa95e8bd336f2020425bb4debc39dd","observation_id":"e016914b-2174-4d1e-9daf-4cae88f5b81d","resolution":{"observed_at":"2026-08-01T08:56:24.102048Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:24.446687Z","title":"Automated test case generation as a many-objective optimisation problem with dynamic selection of the targets,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:24.446687Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:b1aae96383e06e500e1dc3c5c560678a66bd5035c27cb00769b358b8acdb102e","observation_id":"cb865357-5634-417b-ad01-a9b5da9a94cb","resolution":{"observed_at":"2026-08-01T08:56:24.446687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:24.640189Z","title":"Spoon: A library for implementing analyses and transformations of java source code,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:24.640189Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:7e317693ab2f5696bd3af6eeba1e0b7bf1b3a51700907d703f60950b6dee4e2a","observation_id":"20910d80-84e8-422b-aa95-15bf9d26c932","resolution":{"observed_at":"2026-08-01T08:56:24.640189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:25.032614Z","title":"Sootup: A redesign of the soot static analysis framework,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:25.032614Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:c589bf3cabcb0b25d3728043df315f1e735418605af43b05e428e1277e2c481b","observation_id":"99af71d1-49f2-488b-a780-bd1de99ff557","resolution":{"observed_at":"2026-08-01T08:56:25.032614Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:25.211027Z","title":"Neural-based test oracle generation: A large-scale evaluation and lessons learned,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:25.211027Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:27b815499f819267cbc977d7dd78a82812719528fa2a3fb1efd998da9e08b9a8","observation_id":"70d29bf8-1f5b-46c8-b0f8-6a01e8d2f89b","resolution":{"observed_at":"2026-08-01T08:56:25.211027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:25.350030Z","title":"Togll: Correct and strong test oracle generation with llms,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:25.350030Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:24e35621ed4ed3fac659a1725dd1f0b98c67db75b946c39e4d966dc49163ecd6","observation_id":"c5fd9db9-1eac-4850-a422-97e1cb2ff19f","resolution":{"observed_at":"2026-08-01T08:56:25.350030Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.21136","last_updated":"2024-10-28T15:37:06Z","snapshot_observed_at":"2026-07-06T19:40:52.844113Z","submitted_at":"2024-10-28T15:37:06Z","title":"Do LLMs generate test oracles that capture the actual or the expected program behaviour?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.21136","snapshot_observed_at":"2026-08-01T08:56:25.490067Z","title":"Do llms generate test oracles that capture the actual or the expected program behaviour?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:25.490067Z"},"links":{"cited_paper":"/paper/2410.21136","citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:a173306cb0c24cb48df5b48a1d3b566aab27350ba1bdc3813ea0125fad114774","observation_id":"6c39c19e-d30c-480c-8fe8-b117ddfc3048","resolution":{"observed_at":"2026-08-01T08:56:25.490067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:25.632454Z","title":"TOGBench: A developer- written multi-variant dataset and benchmark suite for test oracle gen- eration,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:25.632454Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:ac26d1520f96d63da2052524a309c76b435e79df7326eb3b6accab8082cd9b03","observation_id":"0500e555-efb9-4510-9ab8-b199843a403b","resolution":{"observed_at":"2026-08-01T08:56:25.632454Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:25.776259Z","title":"PITMuS: A tool for automated bug dataset generation via source-level mutant reconstruction,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:25.776259Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:b20461c0a9857a5a374d59bcc4d8979ebdbc6780d24e60bc41528d8c42e5d462","observation_id":"fe0100e7-37e8-4cc8-a9dc-893cdd8a4545","resolution":{"observed_at":"2026-08-01T08:56:25.776259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:25.951945Z","title":"Pit: a practical mutation testing tool for java,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:25.951945Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:5037166f7b26e1b95ac9684b55b3e79a644f41fbd081837359f69c1a8296dd1b","observation_id":"1ae7b8ed-ff74-4da1-b05e-c1b801bc77b2","resolution":{"observed_at":"2026-08-01T08:56:25.951945Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.13340","last_updated":"2024-04-20T10:27:01Z","snapshot_observed_at":"2026-07-06T18:03:02.200489Z","submitted_at":"2024-04-20T10:27:01Z","title":"Large Language Models as Test Case Generators: Performance Evaluation and Enhancement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.13340","snapshot_observed_at":"2026-08-01T08:56:26.123848Z","title":"Large language models as test case generators: Per- formance evaluation and enhancement,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:26.123848Z"},"links":{"cited_paper":"/paper/2404.13340","citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:432bb2088b8c2998806bd8e62233d4b9dd218cc3907fc39f8b03d022765ace03","observation_id":"e97dca2f-fea2-4ae6-bb99-c3148d2eab12","resolution":{"observed_at":"2026-08-01T08:56:26.123848Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16218","last_updated":"2025-05-09T14:33:58Z","snapshot_observed_at":"2026-07-06T17:49:45.103989Z","submitted_at":"2024-03-24T16:18:27Z","title":"CoverUp: Effective High Coverage Test Generation for Python","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16218","snapshot_observed_at":"2026-08-01T08:56:26.261196Z","title":"Coverup: Effective high coverage test generation for python,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:26.261196Z"},"links":{"cited_paper":"/paper/2403.16218","citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:87e21b1d6264cc06e12ed41a3e70fb78ad0d82973a7b2ecb09da22fc3b559ab5","observation_id":"989bed0d-529e-4c45-a270-353a677e26aa","resolution":{"observed_at":"2026-08-01T08:56:26.261196Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:26.441078Z","title":"Testweaver: Execution-aware, feedback-driven regression testing generation with large language models,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:26.441078Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:ce6542df8535ec195669d9cd936a6f8638931059832800ab122601ae2882b3cd","observation_id":"8e21cabb-040d-4027-9c23-e0492fec028a","resolution":{"observed_at":"2026-08-01T08:56:26.441078Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.11086","last_updated":"2026-07-02T18:32:40Z","snapshot_observed_at":"2026-07-09T23:16:37.186232Z","submitted_at":"2025-01-19T15:46:26Z","title":"Evaluating LLM-Based Regression Test Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.11086","snapshot_observed_at":"2026-08-01T08:56:26.573690Z","title":"Can llm generate regression tests for software commits?","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:26.573690Z"},"links":{"cited_paper":"/paper/2501.11086","citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:3a3de19a1bf995c95d1103f0f922d40adf62396f5c1fc0b229182483244e77a4","observation_id":"9b20246c-aaf9-4984-a044-d16ca7f664c5","resolution":{"observed_at":"2026-08-01T08:56:26.573690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:26.768460Z","title":"Doc2oracll: Investigating the impact of documentation on llm-based test oracle generation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:26.768460Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:73fd1237c034286e41b02e219f41d439a77f561cfb6899962bac683b08f32a45","observation_id":"97ce2887-e9da-442b-9c46-c35b30100027","resolution":{"observed_at":"2026-08-01T08:56:26.768460Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:24.841341Z","title":"Available: https://doi.org/10.1002/spe.2346","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:24.841341Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:2a491e6d47f53142f1af69f3ead345d70ac209d6637e669bb70302349006e1d6","observation_id":"b2fa7213-916d-4fb9-835a-2114de20077d","resolution":{"observed_at":"2026-08-01T08:56:24.841341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:56:24.271645Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-01T08:56:24.271645Z"},"links":{"citing_paper":"/paper/2607.27359"},"observation_digest":"sha256:3d5d1a0532dcea492c8cc54b10661dafbcfef36ff04060d87dfb4e7d41aa3ac2","observation_id":"c0bb4267-e45a-4e61-9d13-5d750b701cdf","resolution":{"observed_at":"2026-08-01T08:56:24.271645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.27359","last_updated":"2026-07-29T18:12:12Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T16:45:19.288503Z","submitted_at":"2026-07-29T18:12:12Z","title":"PROGRESS: Property-Guided Regression Search for Semantic Falsification"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":22,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":22},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2607.27359."}