{"as_of":"2026-08-15T22:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fe247decf7eed2914a133bcb65505486b7f3f83b026e32a4a0a2d353ea5fd479","coverage":[{"denominator":71,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":71,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T14:40:20.635343Z","state":"measured"},{"denominator":71,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":71,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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.18711/citation-record","integrity":"/paper/2607.18711/integrity","json":"/paper/2607.18711/citation-record.json","paper":"/paper/2607.18711"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T14:40:16.773627Z","title":"Quantitative analysis of faults and failures in a complex software system","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:16.773627Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:6fd106613be9d4de65521e432486506b33c9b46142ff713de1f1f203fee60041","observation_id":"6d444d42-d618-4acf-b0f7-52fe488192a8","resolution":{"observed_at":"2026-08-01T14:40:16.773627Z","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-01T14:40:16.880458Z","title":"An empirical study of operating systems errors","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:16.880458Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:036e4f69342843479f20ef8bc5666b1b49af930fde5d8a1e02cb7b9689a39147","observation_id":"5d5ba0d0-ab78-4c61-b864-63c6727df33a","resolution":{"observed_at":"2026-08-01T14:40:16.880458Z","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-01T14:40:17.039215Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:17.039215Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:7d72e1856e5480b1557c7f0d15fed9c0bc7348fb1aa0516ae3db66e2821b7c5a","observation_id":"559eab9e-b2c5-43e5-bdd2-7fedf3b6e67e","resolution":{"observed_at":"2026-08-01T14:40:17.039215Z","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-01T14:40:17.149385Z","title":"Continuous Fuzzing with libFuzzer and AddressSanitizer","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:17.149385Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:73ebe2466770900aa701e2ff3623692410ea95a77bd1cb0556cd5cd7c4b7cbc9","observation_id":"41e0308b-2040-446f-b284-c33ef6735371","resolution":{"observed_at":"2026-08-01T14:40:17.149385Z","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-01T14:40:17.293550Z","title":"AFL++ combining incremental steps of fuzzing research","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:17.293550Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:fc3a8d1743cef13874674c19b10c8c8c0d995d328bfe74117e1c493e0115cd18","observation_id":"aa84be0d-07d6-4508-9173-a00b764d587c","resolution":{"observed_at":"2026-08-01T14:40:17.293550Z","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-01T14:40:17.409773Z","title":"Directed Greybox Fuzzing","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:17.409773Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:c0647e577cfc74501c6404606def698a73f50b758c69f3111c39a39d55da8e57","observation_id":"b7ea7f64-d366-4442-ab1d-619882266fb0","resolution":{"observed_at":"2026-08-01T14:40:17.409773Z","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-01T14:40:17.526287Z","title":"OSS-Fuzz - Google’s continuous fuzzing service for open source software","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:17.526287Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:b2793b2ab65e11989c23e6b3694efea882e1728b2d36d0273fc08c59d56a507d","observation_id":"2a9badd2-a1f0-43eb-9515-59e707e3acd4","resolution":{"observed_at":"2026-08-01T14:40:17.526287Z","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-01T14:40:17.692790Z","title":"SmartInv: Multimodal Learning for Smart Contract Invariant Inference","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:17.692790Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:659cfbae0568d35fe9d9f98a9a9ac7dcab756f039ba6480ab395ed63000a9754","observation_id":"18f7245a-e754-456d-bcb3-715c938e3c1c","resolution":{"observed_at":"2026-08-01T14:40:17.692790Z","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-01T14:40:17.840602Z","title":"Simon and Schuster, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:17.840602Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:2671ec3255d295f7d4037f1fb734795896501cb5a7eb58220c55fdf77c25f1f1","observation_id":"39ae6c5a-e592-4b56-8014-3ddced7caba5","resolution":{"observed_at":"2026-08-01T14:40:17.840602Z","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-01T14:40:17.963910Z","title":"The impact of continuous integration on other software development practices: A large-scale empirical study","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:17.963910Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:108ccb40e43cde0dcff23d271d9e71f276b26921a447e1710800e92ae28b8496","observation_id":"24592163-8705-435c-9944-6ca404e0f334","resolution":{"observed_at":"2026-08-01T14:40:17.963910Z","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-01T14:40:18.080139Z","title":"When, How, and Why Developers (Do Not) Test in Their IDEs","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:18.080139Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:f14a06d60c4e64bbe8e41b7a4ed22e6aa3a2aec0b140740171a04cb9641ae229","observation_id":"e2225dc1-d15a-467f-92af-45f78c7179a2","resolution":{"observed_at":"2026-08-01T14:40:18.080139Z","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-01T14:40:18.240193Z","title":"Feedback-Directed Random Test Generation","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:18.240193Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:dd6f5b1e3de270c540aae57249f7688a0192aed0415b8474d0fdf82d5e607866","observation_id":"d47d8fe5-b919-41a7-9f8d-1f297c04fe0d","resolution":{"observed_at":"2026-08-01T14:40:18.240193Z","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-01T14:40:18.381405Z","title":"EvoSuite: automatic test suite generation for object-oriented software","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:18.381405Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:16f5b4b08e6b8336076231a226152a945733980ba47c6904464039135a5bdecf","observation_id":"a1431f82-519c-4cae-857d-ab09125def7d","resolution":{"observed_at":"2026-08-01T14:40:18.381405Z","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-01T14:40:18.506185Z","title":"How Do Automatically Generated Unit Tests Influence Software Maintenance?","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:18.506185Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:439ac2907cad2885bb3d89744db6786cff698da6600e367edf3c71658fd4d29c","observation_id":"d9e32efa-ba58-458c-b9f5-302855d0c695","resolution":{"observed_at":"2026-08-01T14:40:18.506185Z","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-01T14:40:18.626438Z","title":"Revisiting test smells in automatically generated tests: limitations, pitfalls, and opportunities","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:18.626438Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:3032e4c045af81788395da3c11ee725d4b88561c4bcef2244ee8c452ecd0d94e","observation_id":"5ecae363-66ff-408a-924a-f6fc9e7315aa","resolution":{"observed_at":"2026-08-01T14:40:18.626438Z","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-01T14:40:18.739100Z","title":"CAT-LM Training Language Models on Aligned Code and Tests","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:18.739100Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:514c9e8acd83506b2dff57165983a176f25d6249b340f8449d29a97ffb090eba","observation_id":"fc2fdb75-be79-4542-a7e0-5b7d7afe3388","resolution":{"observed_at":"2026-08-01T14:40:18.739100Z","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-01T14:40:18.893365Z","title":"UniTSyn: A Large-Scale Dataset Capa- ble of Enhancing the Prowess of Large Language Models for Program Testing","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:18.893365Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:037cd60f064d7e247b8529ad772d4ccb7d291e32a3b99a96acd13e2805bf6a79","observation_id":"11fb2967-4267-4b31-8d4d-5d663da10496","resolution":{"observed_at":"2026-08-01T14:40:18.893365Z","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-01T14:40:19.059214Z","title":"FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:19.059214Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:b5a6534fbed2e8a9d0674b34b650c5e54a431bf88956be6b84cbf0203eef680d","observation_id":"ea8b65a0-8ab2-44a7-bb8d-ced4de2e79c6","resolution":{"observed_at":"2026-08-01T14:40:19.059214Z","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-01T14:40:19.209864Z","title":"CITYWALK: Enhancing LLM- Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:19.209864Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:fa18a28fd8a4990cdb37a27b2a9215b940854a98f766bf75c7e5722ee83b4dcd","observation_id":"84f0b9eb-5987-4c26-a255-1e701860b7b8","resolution":{"observed_at":"2026-08-01T14:40:19.209864Z","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-01T14:40:19.320027Z","title":"Demystifying LLM-Based Software Engineering Agents","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:19.320027Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:578dbe71760c076cef07e358aa7d752ffd975f962b15f88864f3ab6014471cf9","observation_id":"3f4d2b65-782a-4b17-80d7-988fa656b767","resolution":{"observed_at":"2026-08-01T14:40:19.320027Z","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-01T14:40:19.438120Z","title":"Learning Deep Semantics for Test Completion","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:19.438120Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:39c8e32e6b1a4a95d21f7d768a8c25e1ad57792ad70e644fc8ea2b8bdc8893fb","observation_id":"edb68f76-08d2-4a66-9fa7-c5e3910ce732","resolution":{"observed_at":"2026-08-01T14:40:19.438120Z","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-01T14:40:19.544312Z","title":"TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:19.544312Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:d2453a9b38890bf49fd7857d0b6b47d189d07841f99873c503c178f2e57679f4","observation_id":"8aeb5fbd-b4ac-4a6c-bef1-1a438160d3c9","resolution":{"observed_at":"2026-08-01T14:40:19.544312Z","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-01T14:40:19.704344Z","title":"Theoretical and Empirical Studies of Program Testing","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:19.704344Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:c20758193fa36f467df965743c9f504d14c14c8e64dbf4bde3d2c7003a0a5537","observation_id":"bb61a993-9a9a-498f-87dd-e0d2b4b3c819","resolution":{"observed_at":"2026-08-01T14:40:19.704344Z","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-01T14:40:19.872160Z","title":"On Testing Non-testable Programs","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:19.872160Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:3238586673cd89e935b327cd268e9d2f248c2b2a3006be6d489e44c0d9acab7d","observation_id":"3ec41f84-1b96-4ca8-a4e5-2bb366e8fed6","resolution":{"observed_at":"2026-08-01T14:40:19.872160Z","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-01T14:40:19.986428Z","title":"The Oracle Problem in Software Testing: A Survey","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:19.986428Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:409c06fa30d7779811a33ddef2972ad0e1a041dd690491130a156e5d65cc002c","observation_id":"68d33447-f90b-4dcd-a1cc-44153dcc99df","resolution":{"observed_at":"2026-08-01T14:40:19.986428Z","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-01T14:40:20.108578Z","title":"Prompt Fuzzing for Fuzz Driver Generation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.108578Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:da73516efb188c90be9811817268e5dccac08dc31e0711be1d953b05540bea74","observation_id":"5d0230ae-e53f-4cca-8ec2-c351fbc3713f","resolution":{"observed_at":"2026-08-01T14:40:20.108578Z","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-01T14:40:20.268963Z","title":"Can Large Language Models Reason about Program Invariants?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.268963Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:18ab288683631a9674be88566d2e74267a4d8add9c5b438613ef3b98c93e662d","observation_id":"b0f6c880-dd15-476f-befc-95d8fff0e3e5","resolution":{"observed_at":"2026-08-01T14:40:20.268963Z","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-01T14:40:20.435252Z","title":"A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.435252Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:ba4ab31d7bb174eefb7e1d5c5755d9a36febc4fdc257706c07e2f36555223c9f","observation_id":"b2e7b84c-e6c7-45e9-b502-54bd35e1b307","resolution":{"observed_at":"2026-08-01T14:40:20.435252Z","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-01T14:40:20.505315Z","title":"KLEE: Unassisted and Automatic Generation of High- Coverage Tests for Complex Systems Programs","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.505315Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:e541eddaa1d0e54784d2af4eeeb1cd2bceec5d3a9e848bc63bbb423adc1fa88d","observation_id":"97390d41-17dc-43eb-9fbe-d0fab88a7e9c","resolution":{"observed_at":"2026-08-01T14:40:20.505315Z","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-01T14:40:20.508937Z","title":"Dafny: An Automatic Program Verifier for Functional Correctness","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.508937Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:42f6f27456c999c1ed5fb23428314deabd9259504faca2b326c52c6f436bc9ea","observation_id":"6532c6f6-c893-4230-9a42-cb72ef30a3c2","resolution":{"observed_at":"2026-08-01T14:40:20.508937Z","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-01T14:40:20.511663Z","title":"QuickCheck: A Lightweight Tool for Random Testing of Haskell Pro- grams","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.511663Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:e65cddea4cae69ed02136685fdd7bc058cbd17fad1fb5da2c3bcfa02f8cd2819","observation_id":"74847b02-f054-49ad-802a-a2ad626f790d","resolution":{"observed_at":"2026-08-01T14:40:20.511663Z","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-01T14:40:20.514939Z","title":"Coverage Guided, Property Based Testing","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.514939Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:d324a165a2db8c5bb5c51d163db6b8d810bcc062c104cd01689bbbc2e0040bb8","observation_id":"3f1887d2-8de3-4a04-98ad-343b659e894c","resolution":{"observed_at":"2026-08-01T14:40:20.514939Z","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-01T14:40:20.517744Z","title":"https://github.com/ llvm/llvm-project, accessed 2025-10-12","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.517744Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:a079148b8824b20fd75d036bf05c33466d9b3b0094eba0faf84c75a2398f689f","observation_id":"563b7a36-1f16-4de7-baa8-02553561398b","resolution":{"observed_at":"2026-08-01T14:40:20.517744Z","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-01T14:40:20.520737Z","title":"Dynamically discovering likely program invariants to support program evolution","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.520737Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:535e505c84e71019fc5a3011153ffb89d7230ddb144879bfa2c22e2033b11fcb","observation_id":"94149d4d-87f2-4d37-a92e-8e095b975072","resolution":{"observed_at":"2026-08-01T14:40:20.520737Z","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-01T14:40:20.523477Z","title":"LLVM: A Com- pilation Framework for Lifelong Program Analysis & Transformation","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.523477Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:4d1f86d924f06248ea8ec7de914a7e003de1aa678868dc840e2549eff53bb55e","observation_id":"65b7fb09-ceab-4bad-aadd-a48dca70385e","resolution":{"observed_at":"2026-08-01T14:40:20.523477Z","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-01T14:40:20.526621Z","title":"Notes on Structured Programming","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.526621Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:7d0b09fff07ded3a968070d349298bad0ec58f8ba26ad0947851c12e00561afe","observation_id":"cbc71b87-afb7-4f8b-96c3-f474b53ad441","resolution":{"observed_at":"2026-08-01T14:40:20.526621Z","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-01T14:40:20.529350Z","title":"Stepwise API usage assistance using n-gram language models","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.529350Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:fd472099d579d1ef27b89ae22dcf5f6305bf2adf6113ccd9e9ed02025ced339b","observation_id":"2446a382-2ce2-44fa-9685-3c0ffc1af58e","resolution":{"observed_at":"2026-08-01T14:40:20.529350Z","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-01T14:40:20.532403Z","title":"Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.532403Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:f91c379cde5e77535afce61b28f35157c8adbfc61f8d63bdae2be358f1ca6752","observation_id":"7f36c301-0497-496b-a672-60e02ffa59d8","resolution":{"observed_at":"2026-08-01T14:40:20.532403Z","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-01T14:40:20.535468Z","title":"Better Zero-Shot Reasoning with Self-Adaptive Prompting","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.535468Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:e826afb095786a822fa671888c2fc27f76366fbc00363fe206b311fba4b88a1d","observation_id":"1c8e07e8-2d8e-4322-83e7-31f71bf30daf","resolution":{"observed_at":"2026-08-01T14:40:20.535468Z","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-01T14:40:20.538469Z","title":"Reflexion: language agents with verbal reinforcement learning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.538469Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:5d81fa66854742164dc71d83e48bfc0ea086e0f3a136ae7e63a4802e7f80c3b5","observation_id":"d3c7e8db-2a14-45f9-af6e-f9b1170ea932","resolution":{"observed_at":"2026-08-01T14:40:20.538469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.13122","last_updated":"2024-09-23T19:53:37Z","snapshot_observed_at":"2026-08-12T22:41:25.002491Z","submitted_at":"2024-09-19T23:38:59Z","title":"RepoGenReflex: Enhancing Repository-Level Code Completion with Verbal Reinforcement and Retrieval-Augmented Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.13122","snapshot_observed_at":"2026-08-01T14:40:20.541231Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.541231Z"},"links":{"cited_paper":"/paper/2409.13122","citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:174765020098de4bb7f823a751fb9c6a972b521dc46beb7e14997e4b128e2519","observation_id":"af102eec-24eb-4c1e-a869-5566c32cde4b","resolution":{"observed_at":"2026-08-01T14:40:20.541231Z","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-01T14:40:20.544502Z","title":"Hopper: Interpretative Fuzzing for Libraries","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.544502Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:3e2b6ccd1e6ca13472b61d60c3050c81b92e82e9183c4ca6a357600d35cbf2f4","observation_id":"a6ee8efb-0409-47bf-b6ff-57cb8691ab06","resolution":{"observed_at":"2026-08-01T14:40:20.544502Z","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-01T14:40:20.547431Z","title":"Quickly detecting relevant program invariants","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.547431Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:df066ffa8543e106af4ebf400c0a8a9af8d4cf711d75ac7dd69f1a9fae8ac39f","observation_id":"7625083f-0952-4506-939f-8c196ebff70e","resolution":{"observed_at":"2026-08-01T14:40:20.547431Z","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-01T14:40:20.550377Z","title":"DocTer: documentation-guided fuzzing for testing deep learning API functions","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.550377Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:1ff64cf5547d4d0805d03c79e787a4315cf2ae2ed9f9732e693a4a10783133f0","observation_id":"e4fc702d-f8b6-4cff-a47c-2ca7ab4d8534","resolution":{"observed_at":"2026-08-01T14:40:20.550377Z","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-01T14:40:20.556305Z","title":"Lost in the Middle: How Language Models Use Long Contexts","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.556305Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:fa7576a111691acb76ac72b9ba8690941fb7e9c519fb9683e79bd844f0ca2e8d","observation_id":"854f3446-db99-4589-b81e-1376c64dafd5","resolution":{"observed_at":"2026-08-01T14:40:20.556305Z","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-01T14:40:20.559023Z","title":"FuzzBench: an open fuzzer benchmarking platform and service","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.559023Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:8eab194b86de8218df342fdf1e0da6aabf45de3826144bc2a31d962cd59159fa","observation_id":"8b4e947f-a7e4-4814-a52d-f9bfcbaa6986","resolution":{"observed_at":"2026-08-01T14:40:20.559023Z","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-01T14:40:20.561726Z","title":"SWE-agent: Agent-Computer Inter- faces Enable Automated Software Engineering","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.561726Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:beb7ecc0a195daa6460cbef8c78e10b32c44c97387a8523e88ace165ba3ab083","observation_id":"3972ec6c-eb7f-41ba-984e-b61826e23b00","resolution":{"observed_at":"2026-08-01T14:40:20.561726Z","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-01T14:40:20.564643Z","title":"OpenHands: An Open Platform for AI Software Developers as Generalist Agents","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.564643Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:57fa49849f0450026d81f309ccad829fce2585511f9dadc7db279030abecf073","observation_id":"72753cbd-17b1-465a-978c-3913c24d8327","resolution":{"observed_at":"2026-08-01T14:40:20.564643Z","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-01T14:40:20.567501Z","title":"Test Intention Guided LLM-based Unit Test Generation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.567501Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:8f35df1035456b38c24b3f473ef27760b14307930fb02b8ab86a22e512e25dbd","observation_id":"38a5f476-f400-4604-a4c6-5a709a6e7ffc","resolution":{"observed_at":"2026-08-01T14:40:20.567501Z","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-01T14:40:20.570391Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.570391Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:296c33f85eeea6524c936b4562dc6540ac4a5469e3ea43d5df2a57b6ee3b50b8","observation_id":"c3a4e347-5f95-4537-a447-28fb0b7aa396","resolution":{"observed_at":"2026-08-01T14:40:20.570391Z","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-01T14:40:20.573477Z","title":"Magma: A Ground-Truth Fuzzing Benchmark","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.573477Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:2b76a2340ccca4d963eee116229795fcaf72b84f52b4417672c29d776996deec","observation_id":"5d96c1dc-6a85-4fe9-a1b5-5ebbbf65ce35","resolution":{"observed_at":"2026-08-01T14:40:20.573477Z","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-01T14:40:20.576574Z","title":"https://zlib.net/","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.576574Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:3c55d0487bfec6c0748b66a1af18057253fc2f4921d716fe2021f071dd2c0b7b","observation_id":"34a86313-1b3c-470b-9ce7-b04723c5d085","resolution":{"observed_at":"2026-08-01T14:40:20.576574Z","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-01T14:40:20.579619Z","title":"https : / / github","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.579619Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:ad03f7dff1576d5d193ff1405a6be8371788974778996d506ca1b9f7cd85dee7","observation_id":"7821d49c-0e4c-4b07-9ba6-ccd9bc79246f","resolution":{"observed_at":"2026-08-01T14:40:20.579619Z","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-01T14:40:20.582870Z","title":"https://github.com/the-tcpdump-group/libpcap","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.582870Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:923083c4aa773c9bd1af3fae1e80dfe8465846cebb3173dbefc632607280970e","observation_id":"62c28fa9-88ab-4712-b74a-9365e2d27759","resolution":{"observed_at":"2026-08-01T14:40:20.582870Z","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-01T14:40:20.585629Z","title":"https://github.com/ sqlite/sqlite","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.585629Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:59aa80f135155ff1002a472261c922a081addbeae18bc12ec3f2bf3e95b1a64f","observation_id":"328202a7-431f-459e-a14a-9ee410895e46","resolution":{"observed_at":"2026-08-01T14:40:20.585629Z","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-01T14:40:20.588162Z","title":"https://github.com/mm2/Little-CMS","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.588162Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:572849a4600a676656c0957ce3d4a75d355c7acd7698fccde361ff0324d7cf85","observation_id":"ba95a3bc-b7d0-4df4-a7c4-b3dfb748de85","resolution":{"observed_at":"2026-08-01T14:40:20.588162Z","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-01T14:40:20.591120Z","title":"https://github.com/DaveGamble/cJSON","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.591120Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:22dd42af4c22f5cc7057a78fe76a6a6fd31e2de2e1cab09f35379f0bc57179ae","observation_id":"3489e193-2cea-48a0-82b1-58bb0ca7271b","resolution":{"observed_at":"2026-08-01T14:40:20.591120Z","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-01T14:40:20.594220Z","title":"https://github.com/google/re2","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.594220Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:b3413cd643b397e8644465e3031b5437fedacaeea8c2af4d9c1e7d27aeec4a81","observation_id":"ff9e83a7-8c52-4bca-8e1c-d408a1411c56","resolution":{"observed_at":"2026-08-01T14:40:20.594220Z","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-01T14:40:20.597204Z","title":"An Empirical Evaluation of Using Large Language Models for Automated Unit Test Gener- ation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.597204Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:895b7d137560168417b7a775b4937a49c67997f96dedac196e24990c1b66030a","observation_id":"d4e0d5a6-8e52-47ae-85a1-d2ebb170bf4c","resolution":{"observed_at":"2026-08-01T14:40:20.597204Z","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-01T14:40:20.600057Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.600057Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:4bfb2166c2e3d578c5526b8c4fc45e5f6fa8c07e36d5efe333ed6c3e1bdd47d1","observation_id":"dd48e019-ca6c-4b89-aa24-319de161f1c9","resolution":{"observed_at":"2026-08-01T14:40:20.600057Z","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-01T14:40:20.602810Z","title":"Is mutation an appropriate tool for testing experiments?","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.602810Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:4f52872b496a528ae8eb6dc8bc842d0c2adaa965286dc31c18c23a258c061534","observation_id":"5ac23107-bcd7-474e-9c3d-ca55d6c17179","resolution":{"observed_at":"2026-08-01T14:40:20.602810Z","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-01T14:40:20.606019Z","title":"Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empiri- cal Study on the Relationship Between Mutants and Real Faults","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.606019Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:bc156df4171ea05256b4184d971496516fcf6bac43c84f13cbf9add06bf4a11f","observation_id":"1c660b93-5411-482d-b046-fa33935ffe5a","resolution":{"observed_at":"2026-08-01T14:40:20.606019Z","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-01T14:40:20.608907Z","title":"LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.608907Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:c3394da8462ef4b217415002300cf01671a2da70a2454f0e66dc113e526b2478","observation_id":"3ae78e7e-7ccc-40e1-a48e-79a270a77f2d","resolution":{"observed_at":"2026-08-01T14:40:20.608907Z","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-01T14:40:20.611736Z","title":"On learning meaningful assert statements for unit test cases","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.611736Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:97036b70ea0e75e29f6fc80c45c790207db98ec25d482071e93c4dcb32ec96f2","observation_id":"6a8cfbfd-50bf-4f68-a805-987a3a0369a9","resolution":{"observed_at":"2026-08-01T14:40:20.611736Z","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-01T14:40:20.619212Z","title":"TOGA: A Neural Method for Test Oracle Generation","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.619212Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:8191b966af7bbbed0c41133c9f9b58047af0121dd1c40054183ddd7320934fa5","observation_id":"60d463c0-a7db-463c-95c7-95a56e4b664d","resolution":{"observed_at":"2026-08-01T14:40:20.619212Z","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-01T14:40:20.622660Z","title":"TestEval: Benchmarking Large Language Models for Test Case Generation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.622660Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:fbb383e65156992fc36c5bc49a59ae12cfae027f22323bf7c23a0ecb3f88b1ca","observation_id":"afcfac6e-c2bd-45c1-a7a4-cb4063590c8a","resolution":{"observed_at":"2026-08-01T14:40:20.622660Z","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-01T14:40:20.625850Z","title":"SWT-Bench: Testing and Vali- dating Real-World Bug-Fixes with Code Agents","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.625850Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:d5acc8bb1beaa8da672b418c37a18f2b0cba9b7338579b0e0ff3f4885117a8d2","observation_id":"293e987e-d381-4ee6-8702-dac4d77c6313","resolution":{"observed_at":"2026-08-01T14:40:20.625850Z","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-01T14:40:20.628904Z","title":"Code2Inv: A Deep Learning Frame- work for Program Verification","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.628904Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:50630bc27baf66c2b19ed0339503c90db693564424dbe9a2f993fd74c67a3764","observation_id":"0bd7fa6d-9334-4359-9e22-cfccdd681f9c","resolution":{"observed_at":"2026-08-01T14:40:20.628904Z","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-01T14:40:20.632101Z","title":"Evaluating Program Semantics Rea- soning with Type Inference in System $F$","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.632101Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:07f5c88439784ed48cb580ea01a9da646b48fd168047a6b935b2a8a6417449f8","observation_id":"50f03216-7f29-4967-b09b-e86e14aebd33","resolution":{"observed_at":"2026-08-01T14:40:20.632101Z","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":"10.5281/zenodo.20839021","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"int test_{project}_api_sequence()","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"e63bd09b-e2b3-4422-98ab-ce0dbc374d85","year":2026},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.635343Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:39c2de054003ed7bcd591cd775194a163b847755ec7af978e951be7132ff17bc","observation_id":"a9326372-d671-471f-adfb-b0ad32ad6c1e","resolution":{"observed_at":"2026-08-01T14:43:35.118576Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T14:40:20.553589Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-01T14:40:20.553589Z"},"links":{"citing_paper":"/paper/2607.18711"},"observation_digest":"sha256:7c29e861012a267e4946eb46a2fccaa51e635740f08b64081c862606b7cf17fd","observation_id":"586e957f-c5bf-4885-b047-5ecdf6ef0d11","resolution":{"observed_at":"2026-08-01T14:40:20.553589Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.18711","last_updated":"2026-07-21T05:07:22Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T13:21:20.910278Z","submitted_at":"2026-07-21T05:07:22Z","title":"LLM-Based Invariant Testing for Software Functional Bugs"},"reference_resolution":{"displayed":71,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":70,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":71},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 71 of 71 outbound references and 0 inbound Pith citation observations for arXiv:2607.18711."}