Pith. sign in

Paper Citation Record · LEDGER

Combining Type Inference and Automated Unit Test Generation for Python

As of 10 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.

pith.paper-citation-record.v1
2507.01477 v2

Coverage vector

measured 65 of 65 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:54:47.962489Z

measured 65 of 65 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

65 of 65 outbound references displayed

  • verified exact12
  • verified fuzzy0
  • unresolved43
  • parse uncertain0
  • malformed identifier1
  • metadata mismatch9

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation df88e849-6fe6-4547-b182-cb3a609ec111 · outbound

This paper cites Andrews, Lionel C.

Combining Type Inference and Automated Unit Test Generation for Python Andrews, Lionel C

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:41.075518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:41.075518Z digest=sha256:cb36b47ea3215cbf9dcc0b7b2b4aecffc9e51eb21ae3f61b52cfffa1e455da87

Observation d6511631-1df2-4266-98ab-e89dec197c6d · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:41.151144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:41.151144Z digest=sha256:4bc516f3e4f4647fce6a6cd2672220fd26be58f105abc8086235bc01d35866fc

Observation ad8c5a02-4d5a-4520-8cd5-c82fc9c58f89 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:41.323238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:41.323238Z digest=sha256:5d360711299300d86e4bfaefd0dad6bfc63a5cb3ea992761b4d58ab41f6dc221

Observation b17cd2c6-4256-40ca-a40d-e5a0ad2da890 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:41.430593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:41.430593Z digest=sha256:4900617f9143d7ada866a4767ad311a977fd80222877beb027bed9ea060fba99

Observation e920a97a-86ae-4223-8bc4-f92133967dea · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-06T20:54:53.352526Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:41.559190Z digest=sha256:8682af2f04860de53fed307176bb136158005b1a2409249c16f1f64958290286

Observation d0b7af88-0503-49fc-a9b2-1685b2b048e6 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:41.702661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:41.702661Z digest=sha256:1c972cbcb4a279231e65e4ba6c7559d43d967d0fce1af4103c50c06fc0be0b6b

Observation c8fa951c-2a1a-49d1-9b4c-5ff6aa289999 · outbound

This paper cites Desmarais.

Combining Type Inference and Automated Unit Test Generation for Python Desmarais

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:41.840179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:41.840179Z digest=sha256:8251027806d1bc2a2d072f5d01af9399417d710b97d3cf90e48f2c6ad193398e

Observation 2768cbe8-c6a4-4e4d-afed-1ee705e99841 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 8

Resolution
verified exact
doi, observed 2026-08-06T20:54:49.302138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:42.036821Z digest=sha256:c794a0d09745aba605a4c7934daca82235e37b7af68bcf7089008ce17108a578

Observation 2e656d6f-c3e8-4ecb-88ea-56062b20e2eb · outbound

This paper cites Dwyer, and Mary Lou Soffa.

Combining Type Inference and Automated Unit Test Generation for Python Dwyer, and Mary Lou Soffa

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:42.231894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:42.231894Z digest=sha256:0b13d58474fc015f8dbdac14931984c89439794b9ae03151d0229c9360032418

Observation 3fd5c00a-0f73-4b19-a154-b936a600e894 · outbound

This paper cites SBFT Tool Competition 2024 -- Python Test Case Generation Track.

Combining Type Inference and Automated Unit Test Generation for Python SBFT Tool Competition 2024 -- Python Test Case Generation Track

Reference 10

Resolution
verified exact
local_arxiv, observed 2026-08-06T20:54:52.287823Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:42.336587Z digest=sha256:e450a4564a052fa9170883f22edbc973b224be6d19fa2c93943cb4b42ffc400b

Observation 88c374c5-e93d-4651-a4a8-f675ac2e9715 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 11

Resolution
malformed identifier
raw_fallback, observed 2026-08-06T20:54:53.273369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:42.496789Z digest=sha256:24535a2751068d3f4c31d498146b4e417904598c85b53b7ca1044e80e75473dd

Observation 70c3a7d9-d5f7-408e-a864-92e7c6f6b8c4 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:42.647954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:42.647954Z digest=sha256:dadcd84db115f0c337556d9955b76d6c08580f377b950285a569f7588a2d9b3b

Observation cafe66fe-7dda-4898-bc73-59bc78d80e83 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:42.804679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:42.804679Z digest=sha256:0398becda018a24e92620f867457ebcaddf8f5e74ec2298fd7a21821d7bc2409

Observation 6cbd76bf-ef04-4065-b360-674abe2a66f7 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:42.878835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:42.878835Z digest=sha256:7d80671a476b26af859cfa719f17add26b3c95b1116a1b6aa4eb62fbcfed9c3f

Observation c5ee61ef-ed8e-4fc9-9b59-bc6c3a8981a7 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 15

Resolution
verified exact
doi, observed 2026-08-06T20:54:49.216962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:42.948334Z digest=sha256:b4c45dc7f593efae620ccdcf2fd0712f32e705435b99ad1bd8b96e6b5e56cf08

Observation 6228c2c1-4f8a-4031-8a83-bb35e79648c7 · outbound

This paper cites Hellendoorn, Christian Bird, Earl T.

Combining Type Inference and Automated Unit Test Generation for Python Hellendoorn, Christian Bird, Earl T

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:43.015039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:43.015039Z digest=sha256:2e02fc37e3de4b80d57aed59888d7649c23f3f4f864de70da35451620bad7e63

Observation f948aa9e-426e-409b-9bf3-084df369b52c · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-08-06T20:54:53.193621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:43.078565Z digest=sha256:6899f3885ce9bf8af92d7b7d9fbcdd2eefffd152335d8407aac2b4f946ccc32f

Observation bd09c998-5b54-4a1e-b14f-002b623f37f5 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:43.166779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:43.166779Z digest=sha256:b3c061228f9b6b61c42feb93b6f5a5f9b9650158915e14e2b0b873ca1a4d5015

Observation be63363b-2e4d-4dce-8768-e26787b1aa91 · outbound

This paper cites Ernst, Reid Holmes, and Gordon Fraser.

Combining Type Inference and Automated Unit Test Generation for Python Ernst, Reid Holmes, and Gordon Fraser

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:43.293692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:43.293692Z digest=sha256:f6058d168a5e0d11c2f7764f5e2e198ff9ca0a1fca4bbbfbd457e1b35245b770

Observation 2f9e389c-6e28-4083-8d00-44fc1c26bd51 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 20

Resolution
metadata mismatch
raw_fallback, observed 2026-08-06T20:54:51.868113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:43.358293Z digest=sha256:1dcf3077b6289c4d91e2f5fad13af8dbfafb3b373853be6e1cf7c8fd50ba823a

Observation 6930f0b6-3b14-4c53-846d-8f924ce3474f · outbound

This paper cites Combining Type Inference and Automated Unit Test Generation for Python.

Combining Type Inference and Automated Unit Test Generation for Python Combining Type Inference and Automated Unit Test Generation for Python

Reference 21

Resolution
verified exact
doi, observed 2026-08-06T20:54:49.090702Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:43.468275Z digest=sha256:085a2e2fd5cca68b2dc4e69466d6d945ebe230656384ccd7445d67ca68028879

Observation af20cb23-5501-4a7b-b2f5-3e3752b90ad7 · outbound

This paper cites Scalpel: The Python Static Analysis Framework.

Combining Type Inference and Automated Unit Test Generation for Python Scalpel: The Python Static Analysis Framework

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:43.654508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:43.654508Z digest=sha256:03eac68210099e1089d99476fb069f7f1e868d44be5c0cb9c2d1602296546ad7

Observation b96a6e3e-e59a-459f-9b57-c11bd28d679f · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:43.743872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:43.743872Z digest=sha256:fe93e341e917c98422fa8be6b2140e9f2cb6c0b117c704a2ffff606a22280359

Observation 128205e7-1807-4352-8f76-ea6d60e88e78 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:43.882493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:43.882493Z digest=sha256:096db53ac08fed6595727416253a16b7a0305cff00029bf0fe54aeafb7ed81a4

Observation 146807ed-72a6-4a04-b27f-457368a4d5ee · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 26

Resolution
verified exact
doi, observed 2026-08-06T20:54:48.995890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:43.948895Z digest=sha256:7d3850e0ff514d8ee2b51a606495e3446682b99d0a5c9bc4f81325c88473ed96

Observation 0e898bd4-dff9-4d7f-8830-73fca13ee9f5 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:44.002131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:44.002131Z digest=sha256:0a6e2a02e825769bbb148c3d2ec559c38f5b051e6dc9c9768b979a9313fedde7

Observation e9e5777c-843d-4aba-8d70-f7d287e794b5 · outbound

This paper cites Donaldson.

Combining Type Inference and Automated Unit Test Generation for Python Donaldson

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:44.094632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:44.094632Z digest=sha256:dfaea445f80bc113ca4a645763fa748087796869399b6153689a4825240b29f2

Observation 695e032e-46d9-4618-94ec-10887269e4e6 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-06T20:54:53.118237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:44.161662Z digest=sha256:c895888e3ff6ac25c75ec4d7c55310553f7fffe79019befc9403013147aec2ba

Observation 0ed5b883-ac7f-4221-9704-5f3ca4ab48c3 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-06T20:54:53.033958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:44.359263Z digest=sha256:21374f9b6ca69661b68f52b270a6bcb033110264e41ed154a2e13adf05d1b9bb

Observation d58a28bc-538f-48f6-b15b-baf98915fe81 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:44.462181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:44.462181Z digest=sha256:495b2a58fba0418304f398f9c639800951c8ed7a821339373c28fe576b9a9a0c

Observation 6ee54bce-5f10-416b-b63f-4bb1ad0d38f3 · outbound

This paper cites Mann and Donald R.

Combining Type Inference and Automated Unit Test Generation for Python Mann and Donald R

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:44.560642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:44.560642Z digest=sha256:b92f0b043e944c092f0c3fcf70a92915d30cdae993177b643c3919b501059235

Observation 90bc9c80-cd58-489a-b138-fc4201ef16ad · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 33

Resolution
verified exact
doi, observed 2026-08-06T20:54:48.869140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:44.633577Z digest=sha256:798861335e75ec039ca34f76ff665cc31f8518d7ab411f7b11b93bd8fd259dc1

Observation d9a4f3f5-ec3a-49ba-9296-90f29fb2efac · outbound

This paper cites Mir, Evaldas Latoskinas, Sebastian Proksch, and Georgios Gousios.

Combining Type Inference and Automated Unit Test Generation for Python Mir, Evaldas Latoskinas, Sebastian Proksch, and Georgios Gousios

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:44.702260Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:44.702260Z digest=sha256:ffa10246c42967d606e342d46658445b5a94c80dabffd2161ec3911b6512528c

Observation 9c4c3ab2-e44e-4f49-bacf-924c64cf57ba · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 35

Resolution
metadata mismatch
raw_fallback, observed 2026-08-06T20:54:51.168193Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:44.763179Z digest=sha256:b5f0bd7fef888de6d1f31f5dfff4de4580ad00c61fdc4459842cc9957f800ba7

Observation 5aef450a-c1c2-46ef-9689-80618c734d81 · outbound

This paper cites Lahiri, Michael D.

Combining Type Inference and Automated Unit Test Generation for Python Lahiri, Michael D

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:44.835368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:44.835368Z digest=sha256:3b8e972e1b65355f76429a5b8bfe7fd80fec451c2744f3b094ccbcaa30828aa1

Observation 00fe7f9a-8f97-4938-9dc3-c1b67d09a777 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 37

Resolution
metadata mismatch
raw_fallback, observed 2026-08-06T20:54:50.973807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:44.962536Z digest=sha256:cee4e058061c1f29da2ced43fae0605dae69b7687780bade4bb2c39b6b450184

Observation e63659f5-c768-4a2e-988d-1c45dca0b83f · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 38

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:45.044411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:45.044411Z digest=sha256:0d53dbb9c1173376e7bfe1768b3a343910b6789502daa2b8b5dae6cfc2bf7c91

Observation 5c5cdbca-54cc-4ce6-a8cd-a28638811f9d · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 39

Resolution
unresolved
raw_fallback, observed 2026-08-06T20:54:52.949742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:45.143121Z digest=sha256:facdfa549494417258aa1c617ef5c2b7eff561534b06269ce079e6309613855a

Observation 08bc2381-ee43-423c-84aa-9841688ad494 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-08-06T20:54:52.872592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:45.267392Z digest=sha256:a2d84801a464ae337ffd82e938aa64821ccbab7db4bb0810ea0e0a969ac0b46c

Observation 784abcfc-7adb-4ecd-a461-2112d383e215 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:45.376076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:45.376076Z digest=sha256:b6fd04c4e0a53e1397663417afc2479e305991bee5fb1188e53d8714f05ce301

Observation 27e13715-6cf8-4040-a3cb-18b8154f1abc · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 42

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:45.455940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:45.455940Z digest=sha256:7063d9d760d8374bb948664fdd5dd87a6b1168d91765f88e32c436afb68e6b77

Observation 368a9431-ce19-4573-a0a2-b9071749bf03 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 43

Resolution
unresolved
raw_fallback, observed 2026-08-06T20:54:52.781418Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:45.588474Z digest=sha256:1110a4c6d8729f992bd6d80c4efc99ce193e19b8c5715306fec791a7f5a5d26d

Observation fd6d6142-7967-4ee4-b2e4-b8a7c12f41ad · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 44

Resolution
unresolved
raw_fallback, observed 2026-08-06T20:54:52.697716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:45.719282Z digest=sha256:53c823482dfb77ae4f979916dffe50cb33003dc26884a8538ee7e7c4ed759e32

Observation e68b50a8-075c-4c9b-8aa1-3fdbd00c6864 · outbound

This paper cites CoverUp: Effective High Coverage Test Generation for Python.

Combining Type Inference and Automated Unit Test Generation for Python CoverUp: Effective High Coverage Test Generation for Python

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:45.826107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:45.826107Z digest=sha256:4a405a1d803a411dc75fdd2c301a6d030d60e8ea494de0feb20429919624352a

Observation dc5db71c-2b6e-4470-9d93-aece2d74e791 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:45.904517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:45.904517Z digest=sha256:4d863b65221a02e4535e5e639bfe0f02f22922b64e16ad9c2edf431a7452cc23

Observation 0a2cce60-656d-4008-9bcd-2c7c47471de6 · outbound

This paper cites Milanova, Martin Hirzel, and Julian Dolby.

Combining Type Inference and Automated Unit Test Generation for Python Milanova, Martin Hirzel, and Julian Dolby

Reference 47

Resolution
metadata mismatch
raw_fallback, observed 2026-08-06T20:54:50.452817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:46.016792Z digest=sha256:95b20670658b74f7a02caf4795b2be7ada4ab9a96fe214b734f16c22bcd980f3

Observation a5514ff4-9e99-4ac8-8243-f32d006aedd6 · outbound

This paper cites Big Code.

Combining Type Inference and Automated Unit Test Generation for Python Big Code

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:46.092808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:46.092808Z digest=sha256:457ffdb839a71980d7ea737f3d492756c2eb930212a93e8bbdbb2516c0b263ef

Observation b4abfe81-1952-4d67-851a-7330d04dcb33 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 50

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:46.316883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:46.316883Z digest=sha256:3aea6545975daf22ce8c68a149447efa25b2749db9e47ae197a730e88bc700b4

Observation d57fe26f-f850-4e32-bbae-b4e15c7c356a · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 51

Resolution
verified exact
doi, observed 2026-08-06T20:54:48.672346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:46.397724Z digest=sha256:f5955fa611f6c2187778e34bff7d98e57efe1c5f7ab5868de9654dfb8d91db75

Observation 48e8e7d6-0b16-48a8-a23b-d56281e23595 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 52

Resolution
verified exact
doi, observed 2026-08-06T20:54:48.533581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:46.490074Z digest=sha256:c0a0af1eea53c8f5b77bdb1f63e744e77e68388b91a073b0e389d3628c8d9c70

Observation 38efab47-bf93-4e46-bfbb-28366d4c2cbf · outbound

This paper cites Siek and Walid Taha.

Combining Type Inference and Automated Unit Test Generation for Python Siek and Walid Taha

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:46.587572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:46.587572Z digest=sha256:59e45f4b6ee52a97cd99bdbd9b0f3932cdc843516fcf68feb3a794a4cc804969

Observation 80c10777-62da-463f-9348-3fd278854edb · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 54

Resolution
verified exact
doi, observed 2026-08-06T20:54:48.367897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:46.692159Z digest=sha256:a1bc2bb9c14df73f3af5227e5064ae9a44a7d53cc2bab5302f698f637e72880c

Observation c65c634e-6e6c-42f4-8468-faf23fd882c1 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 56

Resolution
metadata mismatch
raw_fallback, observed 2026-08-06T20:54:50.071156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:46.913135Z digest=sha256:4d035cc6af54ce6e5437e8c9773648fd06837d4830954c72c7b1faf963472d4c

Observation aeb70dab-129d-427d-89f7-84e1d83b120b · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 57

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:47.019413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:47.019413Z digest=sha256:d9c50b7cf9613717b63b6d17fb664864ec4df382d3beaaf27bbfa7fef2eabb92

Observation 057f44e2-ee64-46f2-9fac-53e68d9422d6 · outbound

This paper cites TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools.

Combining Type Inference and Automated Unit Test Generation for Python TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools

Reference 58

Resolution
metadata mismatch
local_arxiv, observed 2026-08-06T20:54:49.913546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:47.117552Z digest=sha256:34c95af34e8c39064ac7cc80d1a0efb265c7c243071ca9269672efdf98d11db1

Observation 3721770b-4e83-4ef0-819e-8ded9badbbf0 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 59

Resolution
verified exact
raw_fallback, observed 2026-08-06T20:54:49.852529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:47.208410Z digest=sha256:c954971cec0fce952014a53846b431031b239ed57fff8b81e9919c8ce06acc9c

Observation a7b6ca83-1426-457a-9785-411aab47b341 · outbound

This paper cites Păsăreanu, and Sarfraz Khurshid.

Combining Type Inference and Automated Unit Test Generation for Python Păsăreanu, and Sarfraz Khurshid

Reference 60

Resolution
metadata mismatch
raw_fallback, observed 2026-08-06T20:54:50.212167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:47.271955Z digest=sha256:7aa7a91b531b7971758e5bead22334dcf0146bddaf8bfcd71931060b52eed77a

Observation 9362e7ce-d63a-4884-beaf-90358d5fc8ac · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 61

Resolution
metadata mismatch
raw_fallback, observed 2026-08-06T20:54:49.704928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:47.402535Z digest=sha256:4111e9f3c7085c1530f4739c6da2dbea65b3634efe2228efc9efea122f95b6c9

Observation 68bf7b67-cea8-49b2-bec1-b61cacc4e670 · outbound

This paper cites TypeT5: Seq2seq Type Inference using Static Analysis.

Combining Type Inference and Automated Unit Test Generation for Python TypeT5: Seq2seq Type Inference using Static Analysis

Reference 62

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:47.512769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:47.512769Z digest=sha256:edf54fb8cc3bf3844100cd7db54ff89797caba48909ae5061c50dada7dbc661a

Observation ba8ef54a-c023-45c7-979e-b3264bd4a321 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 63

Resolution
verified exact
doi, observed 2026-08-06T20:54:48.227485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:47.614780Z digest=sha256:2e8873e62b64f4cd1a1173e253b67e1462538cf6646283db79506deb8fd97a93

Observation 7879a3fa-c320-4ff3-9930-40e74f20f9f1 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 64

Resolution
metadata mismatch
raw_fallback, observed 2026-08-06T20:54:49.537498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:47.705606Z digest=sha256:1bbc84bdfa554a34797cc0ac41d461db03519be6884abdb3ee192a5b7bbfd604

Observation 58308451-db45-4c6b-b266-63c22eb6eeb0 · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 65

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:47.815937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:47.815937Z digest=sha256:b4cad90a4034d98fff63b2b468c79f557fd497badaf211c17be772ebdcddc16d

Observation 7c78dcca-faeb-42ee-829a-7532568b5eed · outbound

This paper cites Advancing Code Coverage: Incorporating Program Analysis with Large Language Models.

Combining Type Inference and Automated Unit Test Generation for Python Advancing Code Coverage: Incorporating Program Analysis with Large Language Models

Reference 66

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:47.863577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:47.863577Z digest=sha256:c968134d4d4ee297a96794f99eba884f8b92ecdad094d37f3a0e94201d3dd545

Observation 957430c8-8c3c-4df9-9a5c-46bfe01473dd · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 67

Resolution
verified exact
doi, observed 2026-08-06T20:54:48.074305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-06T20:54:47.962489Z digest=sha256:838ab72bab303417292b6a312a647ed0c68526ed0196d55681f280c7c157e8d7

Observation beeec935-3dd3-4b4a-af7a-001f46c5ad0b · outbound

This paper cites an unresolved cited work.

Combining Type Inference and Automated Unit Test Generation for Python Unresolved cited work

Reference 1891

Resolution
unresolved
no resolver link, observed 2026-08-06T20:54:44.231875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T20:54:44.231875Z digest=sha256:d36cfaeb450e50d98fe6262e7cb15cc975536061a87946d5a87f4330302856c1

Pith citing papers

No inbound Pith citation observations are available.