{"as_of":"2026-08-09T20:35:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:84ff11d79339d8321da4c4bd2e3232bbc157e02e25f52c088be6bf004b315752","coverage":[{"denominator":65,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":65,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:54:47.962489Z","state":"measured"},{"denominator":65,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":65,"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/2507.01477/citation-record","integrity":"/paper/2507.01477/integrity","json":"/paper/2507.01477/citation-record.json","paper":"/paper/2507.01477"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:41.075518Z","title":"Andrews, Lionel C","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:41.075518Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:99eeb1585e7909c82832c332554bebfd26f7a2feb3042b2079ea32b198803016","observation_id":"df88e849-6fe6-4547-b182-cb3a609ec111","resolution":{"observed_at":"2026-08-06T20:54:41.075518Z","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-06T20:54:41.151144Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:41.151144Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:99c9a252b91ba69eb6469cfc6b9d932e9bf106b9f3a0bb0c6ab6d67226492930","observation_id":"d6511631-1df2-4266-98ab-e89dec197c6d","resolution":{"observed_at":"2026-08-06T20:54:41.151144Z","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-06T20:54:41.323238Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:41.323238Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:06f68b368cd4c072403c89bd3bb39e9774c7dc0788c1826c2be21b3fd2e60208","observation_id":"ad8c5a02-4d5a-4520-8cd5-c82fc9c58f89","resolution":{"observed_at":"2026-08-06T20:54:41.323238Z","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-06T20:54:41.430593Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:41.430593Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:9d61ef452e5d6ada71c27419e9007d30bb88d6ecb2249b5b85db0c2b9601a1d5","observation_id":"b17cd2c6-4256-40ca-a40d-e5a0ad2da890","resolution":{"observed_at":"2026-08-06T20:54:41.430593Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:53.324824Z","title":null,"venue":null,"work_id":"fa15e398-69d3-46e1-8a3b-121e92b8ddac","year":2004},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:41.559190Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:8d57a4226f50bc5c16dc98ad963f41acab46ba557d257cd1d003f4955cd0cdd7","observation_id":"e920a97a-86ae-4223-8bc4-f92133967dea","resolution":{"observed_at":"2026-08-06T20:54:53.352526Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:41.702661Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:41.702661Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:bb146f35aea29a917bf26e95c08e0b870badacf06e6f078c65561475f3e384b7","observation_id":"d0b7af88-0503-49fc-a9b2-1685b2b048e6","resolution":{"observed_at":"2026-08-06T20:54:41.702661Z","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-06T20:54:41.840179Z","title":"Desmarais","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:41.840179Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:28c3f3599103661abe8bebd2d0e5909620371c8e48d17ed079d70c902f9e7225","observation_id":"c8fa951c-2a1a-49d1-9b4c-5ff6aa289999","resolution":{"observed_at":"2026-08-06T20:54:41.840179Z","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.1109/icitbs.2016.88","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:49.265954Z","title":null,"venue":null,"work_id":"4f91224e-a4bd-4efb-a00e-0277554b03e7","year":2016},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:42.036821Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:1bba1f7cc66ee834a5decf9435114a4b265fb68be4fe205009dc6fd65f87e4a9","observation_id":"2768cbe8-c6a4-4e4d-afed-1ee705e99841","resolution":{"observed_at":"2026-08-06T20:54:49.302138Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:42.231894Z","title":"Dwyer, and Mary Lou Soffa","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:42.231894Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:82579c2ca5e93be3679f21d25975b4c7b1d260bc51b864d4334096d57e5ba325","observation_id":"2e656d6f-c3e8-4ecb-88ea-56062b20e2eb","resolution":{"observed_at":"2026-08-06T20:54:42.231894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.15189","last_updated":"2024-01-26T20:21:15Z","snapshot_observed_at":"2026-07-06T17:21:10.236126Z","submitted_at":"2024-01-26T20:21:15Z","title":"SBFT Tool Competition 2024 -- Python Test Case Generation Track","version":1},"cited_work":{"arxiv_id":"2401.15189","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.15189","snapshot_observed_at":"2026-08-06T20:54:52.254501Z","title":"SBFT Tool Competition 2024 -- Python Test Case Generation Track","venue":"cs.SE","work_id":"b5997ddc-f3b1-4057-8964-6e278b54bbe2","year":2024},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:42.336587Z"},"links":{"cited_paper":"/paper/2401.15189","citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:c9add41f41559b8f7614a4ce5b9cd243207dcd35f85757146eadc618dd5d38cb","observation_id":"3fd5c00a-0f73-4b19-a154-b936a600e894","resolution":{"observed_at":"2026-08-06T20:54:52.287823Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:53.242767Z","title":null,"venue":null,"work_id":"dfeb5c16-945c-42a5-ba59-5a5267527374","year":2013},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:42.496789Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:61b64cf770ca832354e0a2f8c73578cd6b187e3d854391b9a2b3ebba3f54d742","observation_id":"88c374c5-e93d-4651-a4a8-f675ac2e9715","resolution":{"observed_at":"2026-08-06T20:54:53.273369Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:42.647954Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:42.647954Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:5c8c3b4dde0417ab534f5121a7b181270f4a7d65cbb30e40a91b78ab2b4c9693","observation_id":"70c3a7d9-d5f7-408e-a864-92e7c6f6b8c4","resolution":{"observed_at":"2026-08-06T20:54:42.647954Z","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-06T20:54:42.804679Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:42.804679Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:be114799a46aa4c67539ab59347b6f379afd48eb7f74aa54b5afa5c8fc613301","observation_id":"cafe66fe-7dda-4898-bc73-59bc78d80e83","resolution":{"observed_at":"2026-08-06T20:54:42.804679Z","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-06T20:54:42.878835Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:42.878835Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:1ce8562d0291ee5ca5f80f470e6783842913e6d5123330b8e45213567487cc8f","observation_id":"6cbd76bf-ef04-4065-b360-674abe2a66f7","resolution":{"observed_at":"2026-08-06T20:54:42.878835Z","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.1007/978-3-319-96142-2_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"4d6dceb2-0097-4625-b5a1-39cf15bd3a6b","year":2018},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:42.948334Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:35f1f23aba5fafbb7a4b52fb06b242ae5dcfd9b8cf7bb2aa001176b902859234","observation_id":"c5ee61ef-ed8e-4fc9-9b59-bc6c3a8981a7","resolution":{"observed_at":"2026-08-06T20:54:49.216962Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:43.015039Z","title":"Hellendoorn, Christian Bird, Earl T","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.015039Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:592305f4eec25b5a914425a0d2353b31bc0bd9172ada9f69cb75cd831ac63fae","observation_id":"6228c2c1-4f8a-4031-8a83-bb35e79648c7","resolution":{"observed_at":"2026-08-06T20:54:43.015039Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:53.158318Z","title":null,"venue":null,"work_id":"25d60e8f-4e8d-4ca7-9672-d297025f9881","year":2009},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.078565Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:cd31d1eaf6164c3cd08e3174b1dab484e3ce7bdf500d2ae9789314f538522685","observation_id":"f948aa9e-426e-409b-9bf3-084df369b52c","resolution":{"observed_at":"2026-08-06T20:54:53.193621Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:43.166779Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.166779Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:1b1d47e4f54621257b17cd840ca5c44c0b717a4f9d5f0607fd8bd7b8b9c47629","observation_id":"bd09c998-5b54-4a1e-b14f-002b623f37f5","resolution":{"observed_at":"2026-08-06T20:54:43.166779Z","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-06T20:54:43.293692Z","title":"Ernst, Reid Holmes, and Gordon Fraser","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.293692Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:fd02d1bc7b9c46957bde8e77cb735c2571a1532fd74834ece299c95996bdfdf2","observation_id":"be63363b-2e4d-4dce-8768-e26787b1aa91","resolution":{"observed_at":"2026-08-06T20:54:43.293692Z","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":"2012.62404","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:51.833416Z","title":null,"venue":null,"work_id":"4950e301-855c-4cb9-b0e6-3bc2499b0fa3","year":2012},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.358293Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:227078952300e85baf2cb766b68a406700fdf52eebcbe99144a418b1107c8a5b","observation_id":"2f9e389c-6e28-4083-8d00-44fc1c26bd51","resolution":{"observed_at":"2026-08-06T20:54:51.868113Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.15788696","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:49.048688Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","venue":null,"work_id":"1dc6f471-c502-425d-aadf-1ef8224fba48","year":2025},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.468275Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:a4d6d5384792a493f19867d53bbfe63558e3d0cadf67767a620af23690569fca","observation_id":"6930f0b6-3b14-4c53-846d-8f924ce3474f","resolution":{"observed_at":"2026-08-06T20:54:49.090702Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.11840","last_updated":"2022-02-24T00:27:56Z","snapshot_observed_at":"2026-07-06T12:41:06.586113Z","submitted_at":"2022-02-24T00:27:56Z","title":"Scalpel: The Python Static Analysis Framework","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.11840","snapshot_observed_at":"2026-08-06T20:54:43.654508Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.654508Z"},"links":{"cited_paper":"/paper/2202.11840","citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:992a55b45e5baa7a43766f8438444727f067947ded81f037736a0566ab8d9c70","observation_id":"af20cb23-5501-4a7b-b2f5-3e3752b90ad7","resolution":{"observed_at":"2026-08-06T20:54:43.654508Z","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-06T20:54:43.743872Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.743872Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:db38043212950ba9eb6954b81d4027b70b7e224cc02b4481ded1c794179a97a2","observation_id":"b96a6e3e-e59a-459f-9b57-c11bd28d679f","resolution":{"observed_at":"2026-08-06T20:54:43.743872Z","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-06T20:54:43.882493Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.882493Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:484c537dc8bd1ad646672dd328582a2fe5f0a49fee7aa68304e820223c4448da","observation_id":"128205e7-1807-4352-8f76-ea6d60e88e78","resolution":{"observed_at":"2026-08-06T20:54:43.882493Z","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.1007/978-3-030-59762-7_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"d7f53e7f-0224-4942-a913-f1eec3d37e01","year":2020},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:43.948895Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:c20886e4c1902a6b9cf90edb4aa895ef1ae4ab9c6d444c2dc25373488b6e05ad","observation_id":"146807ed-72a6-4a04-b27f-457368a4d5ee","resolution":{"observed_at":"2026-08-06T20:54:48.995890Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:44.002131Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.002131Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:e28b8d69da025059b3aa143ca85b2781c7a32aa4841485d2ab7eafa6f5bac6b4","observation_id":"0e898bd4-dff9-4d7f-8830-73fca13ee9f5","resolution":{"observed_at":"2026-08-06T20:54:44.002131Z","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-06T20:54:44.094632Z","title":"Donaldson","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.094632Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:a8ae6d0ead497034e0d896e9bdcbf919eddde18342193f685dae3f440dc39d5d","observation_id":"e9e5777c-843d-4aba-8d70-f7d287e794b5","resolution":{"observed_at":"2026-08-06T20:54:44.094632Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:53.078865Z","title":null,"venue":null,"work_id":"a6d7d156-2451-4725-a567-d453a347dba8","year":2019},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.161662Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:48076ef24092634102ccf4a7416073e3883f303cecd8758d1ffff835e56dbd56","observation_id":"695e032e-46d9-4618-94ec-10887269e4e6","resolution":{"observed_at":"2026-08-06T20:54:53.118237Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:53.006230Z","title":null,"venue":null,"work_id":"59a12639-8044-4729-b905-43225498a314","year":2015},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.359263Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:1c116ae3d31faef74b60e2d96d86b6750977d7df691549047695d6044d0609d0","observation_id":"0ed5b883-ac7f-4221-9704-5f3ca4ab48c3","resolution":{"observed_at":"2026-08-06T20:54:53.033958Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:44.462181Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.462181Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:58fa3702d09da3cfeab683de02df1e55f1ef4d5733fa8651436e71f3ea341ee8","observation_id":"d58a28bc-538f-48f6-b15b-baf98915fe81","resolution":{"observed_at":"2026-08-06T20:54:44.462181Z","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-06T20:54:44.560642Z","title":"Mann and Donald R","venue":null,"work_id":null,"year":1947},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.560642Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:2131df0a469c92c5f990d5d144a1ffedd8ca02f9b9994d7f0b4dd691dac18b14","observation_id":"6ee54bce-5f10-416b-b63f-4bb1ad0d38f3","resolution":{"observed_at":"2026-08-06T20:54:44.560642Z","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.1109/icpc.2017.10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:48.808040Z","title":null,"venue":null,"work_id":"65700897-9668-417b-a2bb-d8edbe49e026","year":2017},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.633577Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:618d5e174e30ba2ad6165e8b83a38d176fa82fdf833d185dfcb777f76abb991b","observation_id":"90bc9c80-cd58-489a-b138-fc4201ef16ad","resolution":{"observed_at":"2026-08-06T20:54:48.869140Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:44.702260Z","title":"Mir, Evaldas Latoskinas, Sebastian Proksch, and Georgios Gousios","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.702260Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:0e7e19245beea500ffeb89b470f9c4687d6887326f6c469a83d23629bb8eb995","observation_id":"d9a4f3f5-ec3a-49ba-9296-90f29fb2efac","resolution":{"observed_at":"2026-08-06T20:54:44.702260Z","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":"2023.32775","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:51.108491Z","title":null,"venue":null,"work_id":"c7429c11-b110-42bb-bf71-99178373c2b0","year":2023},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.763179Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:7c05892bc4bbce5c1ded4da4a6f2d8f82ceceaee4a75d5e50d95a13492a1463e","observation_id":"9c4c3ab2-e44e-4f49-bacf-924c64cf57ba","resolution":{"observed_at":"2026-08-06T20:54:51.168193Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:44.835368Z","title":"Lahiri, Michael D","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.835368Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:7dbd4eb5d49136a4e0b354f17c907ebe58b9f70f6cbec2c63d3a91a845378f80","observation_id":"5aef450a-c1c2-46ef-9689-80618c734d81","resolution":{"observed_at":"2026-08-06T20:54:44.835368Z","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":"2017.26634","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:50.925015Z","title":null,"venue":null,"work_id":"fa1270c8-ee22-406d-b41f-d1b667b8ff5d","year":2018},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.962536Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:85bba6f60159d608044a3215413282a8cc9dc5a0abef4a76fa0c4fdf5d418316","observation_id":"00fe7f9a-8f97-4938-9dc3-c1b67d09a777","resolution":{"observed_at":"2026-08-06T20:54:50.973807Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:45.044411Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.044411Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:82593e08a96862fa08681a5530003bb04009dcae6b3d5e1c7f1977b485f8d9e0","observation_id":"e63659f5-c768-4a2e-988d-1c45dca0b83f","resolution":{"observed_at":"2026-08-06T20:54:45.044411Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:52.912493Z","title":null,"venue":null,"work_id":"253ec373-0ebe-4458-b662-0cab68a4cdb4","year":2019},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.143121Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:ff8e2426c7bcfef67f9d65300db7b3907c7a2f2bcb2986d120e0516576da15f5","observation_id":"5c5cdbca-54cc-4ce6-a8cd-a28638811f9d","resolution":{"observed_at":"2026-08-06T20:54:52.949742Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:52.832462Z","title":null,"venue":null,"work_id":"7e6b6b95-dd96-4b3a-a90c-7229097a654d","year":null},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.267392Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:bcd7de5422f8a865cd88e9c7279ba3802fa5762cc51a4744b9589559a2a2a923","observation_id":"08bc2381-ee43-423c-84aa-9841688ad494","resolution":{"observed_at":"2026-08-06T20:54:52.872592Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:45.376076Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.376076Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:d39a244bfa9d07d47bab0895a3d7c8fa0ec1f63fae3e9a857d05d8aff08b8ddb","observation_id":"784abcfc-7adb-4ecd-a461-2112d383e215","resolution":{"observed_at":"2026-08-06T20:54:45.376076Z","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-06T20:54:45.455940Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.455940Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:eca4292dcaa19c28aedfab1384b729f28ee6200504e1cb4618a3f4f88e99ce71","observation_id":"27e13715-6cf8-4040-a3cb-18b8154f1abc","resolution":{"observed_at":"2026-08-06T20:54:45.455940Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:52.752344Z","title":null,"venue":null,"work_id":"dfc9120f-3fc5-4176-a447-8dcf44a5fb39","year":2007},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.588474Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:73d15325557b3e4baf285345aac1a0e24e56105e249d555ddaa9970f537055ec","observation_id":"368a9431-ce19-4573-a0a2-b9071749bf03","resolution":{"observed_at":"2026-08-06T20:54:52.781418Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:52.663041Z","title":null,"venue":null,"work_id":"8e2b3d84-5f1a-4128-90f1-8fc93edd8f6b","year":2002},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.719282Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:e1bc650d2eb0ed3dedc011775a29327df2e5b9e3d9cce271146acf3171a814c3","observation_id":"fd6d6142-7967-4ee4-b2e4-b8a7c12f41ad","resolution":{"observed_at":"2026-08-06T20:54:52.697716Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"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-06T20:54:45.826107Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.826107Z"},"links":{"cited_paper":"/paper/2403.16218","citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:1d11d25ca1f371d5f3dd9e7c82cde2454f6e284890c5cbdbc832c7118f11fb27","observation_id":"e68b50a8-075c-4c9b-8aa1-3fdbd00c6864","resolution":{"observed_at":"2026-08-06T20:54:45.826107Z","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-06T20:54:45.904517Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:45.904517Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:7a31a3f4801363d9f2d1b627141a050c45cc214b3d8b3553bd6ae54729d3e2de","observation_id":"dc5db71c-2b6e-4470-9d93-aece2d74e791","resolution":{"observed_at":"2026-08-06T20:54:45.904517Z","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":"6422.34269","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:50.419514Z","title":"Milanova, Martin Hirzel, and Julian Dolby","venue":null,"work_id":"3900aca5-7739-4611-bea2-46997d99829a","year":2020},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:46.016792Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:379d0533e962a9cb8e4ff51914e396a8bdb2fb09033a476e86bbc0dc67ff89c1","observation_id":"0a2cce60-656d-4008-9bcd-2c7c47471de6","resolution":{"observed_at":"2026-08-06T20:54:50.452817Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:46.092808Z","title":"Big Code","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:46.092808Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:637ca3bb9698577cbd1729edf00845ec7263616776fb9bb98069a379c2e91dd8","observation_id":"a5514ff4-9e99-4ac8-8243-f32d006aedd6","resolution":{"observed_at":"2026-08-06T20:54:46.092808Z","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-06T20:54:46.316883Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:46.316883Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:cbddc3924749728c90f4708897ce7629f9f33f657ccf6817f5ebde581d2a514b","observation_id":"b4abfe81-1952-4d67-851a-7330d04dcb33","resolution":{"observed_at":"2026-08-06T20:54:46.316883Z","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.1007/978-3-642-41707-8_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"289ae22b-9f9d-4f29-880a-4548d91024f9","year":2013},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:46.397724Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:285a31aecbf406f2589c28019dd5a79f06d31fb10ad799201ffae3667790cb18","observation_id":"d57fe26f-f850-4e32-bbae-b4e15c7c356a","resolution":{"observed_at":"2026-08-06T20:54:48.672346Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ase.2015.86","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:48.474730Z","title":null,"venue":null,"work_id":"704b6692-fc64-4192-b6a4-9b322851103a","year":2015},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:46.490074Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:c6f9bf281b535f565e4eb2549e40595ff07742b348679f2ccc125514c82ebf31","observation_id":"48e8e7d6-0b16-48a8-a23b-d56281e23595","resolution":{"observed_at":"2026-08-06T20:54:48.533581Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:46.587572Z","title":"Siek and Walid Taha","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:46.587572Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:2d729341f0769366c8be7a9dea7ea48205e031e8d64b7b1623d14dc385257da9","observation_id":"38efab47-bf93-4e46-bfbb-28366d4c2cbf","resolution":{"observed_at":"2026-08-06T20:54:46.587572Z","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.1007/978-3-031-21251-2_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"59b69d77-45ee-400d-8415-3087faeaada9","year":2022},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:46.692159Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:1146c0b0a13f3c3306b012d84abf00d0f63da3cc25e0c80b1df9a1baa7533085","observation_id":"80c10777-62da-463f-9348-3fd278854edb","resolution":{"observed_at":"2026-08-06T20:54:48.367897Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6072.35275","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:50.034543Z","title":null,"venue":null,"work_id":"74050363-abfb-4bb4-9278-a50573566599","year":2022},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:46.913135Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:096c9cdc0ee75b0eebab5b5961ed81e66f314378cff665986a02706970a3ec2f","observation_id":"c65c634e-6e6c-42f4-8468-faf23fd882c1","resolution":{"observed_at":"2026-08-06T20:54:50.071156Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:47.019413Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.019413Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:6ba941bdad1b446dce08bc189034b23aae37f48f7ca9b178166ffc28aec4296b","observation_id":"aeb70dab-129d-427d-89f7-84e1d83b120b","resolution":{"observed_at":"2026-08-06T20:54:47.019413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16882","last_updated":"2024-01-02T08:30:26Z","snapshot_observed_at":"2026-07-06T17:09:10.513197Z","submitted_at":"2023-12-28T08:13:27Z","title":"TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools","version":2},"cited_work":{"arxiv_id":"2312.16882","doi":null,"metadata_source":"pith","pith_arxiv_id":"2312.16882","snapshot_observed_at":"2026-08-06T20:54:49.894440Z","title":"TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools","venue":"cs.SE","work_id":"ab59bd22-6167-4213-a66a-41fa6ca0de81","year":2023},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.117552Z"},"links":{"cited_paper":"/paper/2312.16882","citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:1fcaeaf4298808f49b294313c8475c443570e04ef5fc5be51b066d29d1bb3394","observation_id":"057f44e2-ee64-46f2-9fac-53e68d9422d6","resolution":{"observed_at":"2026-08-06T20:54:49.913546Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.00044","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:49.806304Z","title":null,"venue":null,"work_id":"9b131b18-6233-4ca4-9790-31b91b392190","year":2023},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.208410Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:a97fb939be6d7137bbc0a276f47162c2b02e15857cc80cf321e3e61fe326bc6a","observation_id":"3721770b-4e83-4ef0-819e-8ded9badbbf0","resolution":{"observed_at":"2026-08-06T20:54:49.852529Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7512.10075","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:50.175888Z","title":"Păsăreanu, and Sarfraz Khurshid","venue":null,"work_id":"ab5527fb-db89-480d-bba1-de682e728fbd","year":2004},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.271955Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:e96f560c5bdf0470b75cd3b7e0e7077a94e2021adabd3ae019357f7af985f27d","observation_id":"a7b6ca83-1426-457a-9785-411aab47b341","resolution":{"observed_at":"2026-08-06T20:54:50.212167Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8009.10681","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:49.659302Z","title":null,"venue":null,"work_id":"3342cdf6-ba8d-48f9-a1c9-1fbe8545bf72","year":2005},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.402535Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:10d873415b96d046437a4eda8df028601df8e649814353131844b1b32c3a5511","observation_id":"9362e7ce-d63a-4884-beaf-90358d5fc8ac","resolution":{"observed_at":"2026-08-06T20:54:49.704928Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.09564","last_updated":"2023-03-16T23:48:00Z","snapshot_observed_at":"2026-07-06T15:04:23.117620Z","submitted_at":"2023-03-16T23:48:00Z","title":"TypeT5: Seq2seq Type Inference using Static Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.09564","snapshot_observed_at":"2026-08-06T20:54:47.512769Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.512769Z"},"links":{"cited_paper":"/paper/2303.09564","citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:d875c15b34e2069fc293ddfcb9bec1dbd27daf6fd25471fd3907b29f0a92e377","observation_id":"68bf7b67-cea8-49b2-bec1-b61cacc4e670","resolution":{"observed_at":"2026-08-06T20:54:47.512769Z","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.1145/3689783","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:48.150073Z","title":null,"venue":null,"work_id":"b0f9d708-02d5-48d0-a389-904b04f4cb76","year":2024},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.614780Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:607ddd8e4dbb7a6138a5a72ebe0a25935943afcdc32c797e4549a0b11dbac111","observation_id":"ba8ef54a-c023-45c7-979e-b3264bd4a321","resolution":{"observed_at":"2026-08-06T20:54:48.227485Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1016.36748","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:49.487438Z","title":null,"venue":null,"work_id":"8a4ee622-e9b9-4859-a7ae-cd48f63fe196","year":2024},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.705606Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:e71e65e066e8fc747dd59e075e19a93c0be879e79060d0231ccb08a959cee8a8","observation_id":"7879a3fa-c320-4ff3-9930-40e74f20f9f1","resolution":{"observed_at":"2026-08-06T20:54:49.537498Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:47.815937Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.815937Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:89fcc91bd07e5aa07229cde13e814fc0d4e483075d561ca409ef5c336232dcb3","observation_id":"58308451-db45-4c6b-b266-63c22eb6eeb0","resolution":{"observed_at":"2026-08-06T20:54:47.815937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.04966","last_updated":"2025-07-15T03:52:37Z","snapshot_observed_at":"2026-07-06T17:56:44.412445Z","submitted_at":"2024-04-07T14:08:28Z","title":"Advancing Code Coverage: Incorporating Program Analysis with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.04966","snapshot_observed_at":"2026-08-06T20:54:47.863577Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.863577Z"},"links":{"cited_paper":"/paper/2404.04966","citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:45d7b4802848f437181b6c0aef9a9d917c58af2ddf4ed3d207d0575271f3b8bb","observation_id":"7c78dcca-faeb-42ee-829a-7532568b5eed","resolution":{"observed_at":"2026-08-06T20:54:47.863577Z","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.1007/s10515-025-00496-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:54:48.045658Z","title":null,"venue":null,"work_id":"db000edf-5b0e-466a-beec-057771d5d709","year":2025},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:47.962489Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:d3e6aa65100003118d493e7dafd2d2988d867c2e501280a2c905b8a6064bb56a","observation_id":"957430c8-8c3c-4df9-9a5c-46bfe01473dd","resolution":{"observed_at":"2026-08-06T20:54:48.074305Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T20:54:44.231875Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python","version":2},"reference_index":1891,"source":"pdf_text","source_observed_at":"2026-08-06T20:54:44.231875Z"},"links":{"citing_paper":"/paper/2507.01477"},"observation_digest":"sha256:0ab59bb63fa8f0d062f1d014cf69a26fba1e9759ccf5ffd8a62c16c327a516d9","observation_id":"beeec935-3dd3-4b4a-af7a-001f46c5ad0b","resolution":{"observed_at":"2026-08-06T20:54:44.231875Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.01477","last_updated":"2026-07-08T10:02:44Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T13:06:49.451351Z","submitted_at":"2025-07-02T08:41:28Z","title":"Combining Type Inference and Automated Unit Test Generation for Python"},"reference_resolution":{"displayed":65,"state_counts":{"malformed_identifier":1,"metadata_mismatch":9,"parse_uncertain":0,"unresolved":43,"verified_exact":12,"verified_fuzzy":0},"total_outbound_references":65},"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 65 of 65 outbound references and 0 inbound Pith citation observations for arXiv:2507.01477."}