Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T20:54:47.962489Z
Paper Citation Record · LEDGER
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T20:54:47.962489Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
65 of 65 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation df88e849-6fe6-4547-b182-cb3a609ec111 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Andrews, Lionel C
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6511631-1df2-4266-98ab-e89dec197c6d · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ad8c5a02-4d5a-4520-8cd5-c82fc9c58f89 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b17cd2c6-4256-40ca-a40d-e5a0ad2da890 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e920a97a-86ae-4223-8bc4-f92133967dea · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d0b7af88-0503-49fc-a9b2-1685b2b048e6 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c8fa951c-2a1a-49d1-9b4c-5ff6aa289999 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Desmarais
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2768cbe8-c6a4-4e4d-afed-1ee705e99841 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2e656d6f-c3e8-4ecb-88ea-56062b20e2eb · outbound
Combining Type Inference and Automated Unit Test Generation for Python Dwyer, and Mary Lou Soffa
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3fd5c00a-0f73-4b19-a154-b936a600e894 · outbound
Combining Type Inference and Automated Unit Test Generation for Python SBFT Tool Competition 2024 -- Python Test Case Generation Track
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 88c374c5-e93d-4651-a4a8-f675ac2e9715 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 70c3a7d9-d5f7-408e-a864-92e7c6f6b8c4 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cafe66fe-7dda-4898-bc73-59bc78d80e83 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6cbd76bf-ef04-4065-b360-674abe2a66f7 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5ee61ef-ed8e-4fc9-9b59-bc6c3a8981a7 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6228c2c1-4f8a-4031-8a83-bb35e79648c7 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Hellendoorn, Christian Bird, Earl T
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f948aa9e-426e-409b-9bf3-084df369b52c · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation bd09c998-5b54-4a1e-b14f-002b623f37f5 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be63363b-2e4d-4dce-8768-e26787b1aa91 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Ernst, Reid Holmes, and Gordon Fraser
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2f9e389c-6e28-4083-8d00-44fc1c26bd51 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6930f0b6-3b14-4c53-846d-8f924ce3474f · outbound
Combining Type Inference and Automated Unit Test Generation for Python Combining Type Inference and Automated Unit Test Generation for Python
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation af20cb23-5501-4a7b-b2f5-3e3752b90ad7 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Scalpel: The Python Static Analysis Framework
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b96a6e3e-e59a-459f-9b57-c11bd28d679f · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 128205e7-1807-4352-8f76-ea6d60e88e78 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 146807ed-72a6-4a04-b27f-457368a4d5ee · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0e898bd4-dff9-4d7f-8830-73fca13ee9f5 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e9e5777c-843d-4aba-8d70-f7d287e794b5 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Donaldson
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 695e032e-46d9-4618-94ec-10887269e4e6 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0ed5b883-ac7f-4221-9704-5f3ca4ab48c3 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d58a28bc-538f-48f6-b15b-baf98915fe81 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 31
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ee54bce-5f10-416b-b63f-4bb1ad0d38f3 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Mann and Donald R
Reference 32
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90bc9c80-cd58-489a-b138-fc4201ef16ad · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d9a4f3f5-ec3a-49ba-9296-90f29fb2efac · outbound
Combining Type Inference and Automated Unit Test Generation for Python Mir, Evaldas Latoskinas, Sebastian Proksch, and Georgios Gousios
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c4c3ab2-e44e-4f49-bacf-924c64cf57ba · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5aef450a-c1c2-46ef-9689-80618c734d81 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Lahiri, Michael D
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 00fe7f9a-8f97-4938-9dc3-c1b67d09a777 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e63659f5-c768-4a2e-988d-1c45dca0b83f · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 38
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c5cdbca-54cc-4ce6-a8cd-a28638811f9d · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 08bc2381-ee43-423c-84aa-9841688ad494 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 784abcfc-7adb-4ecd-a461-2112d383e215 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27e13715-6cf8-4040-a3cb-18b8154f1abc · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 42
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 368a9431-ce19-4573-a0a2-b9071749bf03 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation fd6d6142-7967-4ee4-b2e4-b8a7c12f41ad · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e68b50a8-075c-4c9b-8aa1-3fdbd00c6864 · outbound
Combining Type Inference and Automated Unit Test Generation for Python CoverUp: Effective High Coverage Test Generation for Python
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc5db71c-2b6e-4470-9d93-aece2d74e791 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0a2cce60-656d-4008-9bcd-2c7c47471de6 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Milanova, Martin Hirzel, and Julian Dolby
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation a5514ff4-9e99-4ac8-8243-f32d006aedd6 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Big Code
Reference 48
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b4abfe81-1952-4d67-851a-7330d04dcb33 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 50
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d57fe26f-f850-4e32-bbae-b4e15c7c356a · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 48e8e7d6-0b16-48a8-a23b-d56281e23595 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 38efab47-bf93-4e46-bfbb-28366d4c2cbf · outbound
Combining Type Inference and Automated Unit Test Generation for Python Siek and Walid Taha
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80c10777-62da-463f-9348-3fd278854edb · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c65c634e-6e6c-42f4-8468-faf23fd882c1 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 56
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation aeb70dab-129d-427d-89f7-84e1d83b120b · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 57
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 057f44e2-ee64-46f2-9fac-53e68d9422d6 · outbound
Combining Type Inference and Automated Unit Test Generation for Python TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
Reference 58
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3721770b-4e83-4ef0-819e-8ded9badbbf0 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 59
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation a7b6ca83-1426-457a-9785-411aab47b341 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Păsăreanu, and Sarfraz Khurshid
Reference 60
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9362e7ce-d63a-4884-beaf-90358d5fc8ac · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 61
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 68bf7b67-cea8-49b2-bec1-b61cacc4e670 · outbound
Combining Type Inference and Automated Unit Test Generation for Python TypeT5: Seq2seq Type Inference using Static Analysis
Reference 62
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ba8ef54a-c023-45c7-979e-b3264bd4a321 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 63
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7879a3fa-c320-4ff3-9930-40e74f20f9f1 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 64
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 58308451-db45-4c6b-b266-63c22eb6eeb0 · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 65
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7c78dcca-faeb-42ee-829a-7532568b5eed · outbound
Combining Type Inference and Automated Unit Test Generation for Python Advancing Code Coverage: Incorporating Program Analysis with Large Language Models
Reference 66
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 957430c8-8c3c-4df9-9a5c-46bfe01473dd · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 67
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation beeec935-3dd3-4b4a-af7a-001f46c5ad0b · outbound
Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work
Reference 1891
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
No inbound Pith citation observations are available.