Pith. sign in

Paper Citation Record · LEDGER

Combining Type Inference and Automated Unit Test Generation for Python

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.

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-09T06:31:02.800959+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:99eeb1585e7909c82832c332554bebfd26f7a2feb3042b2079ea32b198803016

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:99c9a252b91ba69eb6469cfc6b9d932e9bf106b9f3a0bb0c6ab6d67226492930

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:06f68b368cd4c072403c89bd3bb39e9774c7dc0788c1826c2be21b3fd2e60208

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:9d61ef452e5d6ada71c27419e9007d30bb88d6ecb2249b5b85db0c2b9601a1d5

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:41.559190Z digest=sha256:8d57a4226f50bc5c16dc98ad963f41acab46ba557d257cd1d003f4955cd0cdd7

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:bb146f35aea29a917bf26e95c08e0b870badacf06e6f078c65561475f3e384b7

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:28c3f3599103661abe8bebd2d0e5909620371c8e48d17ed079d70c902f9e7225

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-09T06:31:02.800959+00:00.

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

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:82579c2ca5e93be3679f21d25975b4c7b1d260bc51b864d4334096d57e5ba325

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:42.496789Z digest=sha256:61b64cf770ca832354e0a2f8c73578cd6b187e3d854391b9a2b3ebba3f54d742

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:5c8c3b4dde0417ab534f5121a7b181270f4a7d65cbb30e40a91b78ab2b4c9693

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:be114799a46aa4c67539ab59347b6f379afd48eb7f74aa54b5afa5c8fc613301

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:1ce8562d0291ee5ca5f80f470e6783842913e6d5123330b8e45213567487cc8f

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-09T06:31:02.800959+00:00.

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

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:592305f4eec25b5a914425a0d2353b31bc0bd9172ada9f69cb75cd831ac63fae

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-09T06:31:02.800959+00:00.

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

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:1b1d47e4f54621257b17cd840ca5c44c0b717a4f9d5f0607fd8bd7b8b9c47629

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:fd02d1bc7b9c46957bde8e77cb735c2571a1532fd74834ece299c95996bdfdf2

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:43.358293Z digest=sha256:227078952300e85baf2cb766b68a406700fdf52eebcbe99144a418b1107c8a5b

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-09T06:31:02.800959+00:00.

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

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:992a55b45e5baa7a43766f8438444727f067947ded81f037736a0566ab8d9c70

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:db38043212950ba9eb6954b81d4027b70b7e224cc02b4481ded1c794179a97a2

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:484c537dc8bd1ad646672dd328582a2fe5f0a49fee7aa68304e820223c4448da

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-09T06:31:02.800959+00:00.

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

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:e28b8d69da025059b3aa143ca85b2781c7a32aa4841485d2ab7eafa6f5bac6b4

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:a8ae6d0ead497034e0d896e9bdcbf919eddde18342193f685dae3f440dc39d5d

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:44.359263Z digest=sha256:1c116ae3d31faef74b60e2d96d86b6750977d7df691549047695d6044d0609d0

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:58fa3702d09da3cfeab683de02df1e55f1ef4d5733fa8651436e71f3ea341ee8

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:2131df0a469c92c5f990d5d144a1ffedd8ca02f9b9994d7f0b4dd691dac18b14

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:44.633577Z digest=sha256:618d5e174e30ba2ad6165e8b83a38d176fa82fdf833d185dfcb777f76abb991b

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:0e7e19245beea500ffeb89b470f9c4687d6887326f6c469a83d23629bb8eb995

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-09T06:31:02.800959+00:00.

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

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:7dbd4eb5d49136a4e0b354f17c907ebe58b9f70f6cbec2c63d3a91a845378f80

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-09T06:31:02.800959+00:00.

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

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:82593e08a96862fa08681a5530003bb04009dcae6b3d5e1c7f1977b485f8d9e0

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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:d39a244bfa9d07d47bab0895a3d7c8fa0ec1f63fae3e9a857d05d8aff08b8ddb

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:eca4292dcaa19c28aedfab1384b729f28ee6200504e1cb4618a3f4f88e99ce71

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:45.588474Z digest=sha256:73d15325557b3e4baf285345aac1a0e24e56105e249d555ddaa9970f537055ec

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-09T06:31:02.800959+00:00.

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

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:1d11d25ca1f371d5f3dd9e7c82cde2454f6e284890c5cbdbc832c7118f11fb27

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:7a31a3f4801363d9f2d1b627141a050c45cc214b3d8b3553bd6ae54729d3e2de

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:46.016792Z digest=sha256:379d0533e962a9cb8e4ff51914e396a8bdb2fb09033a476e86bbc0dc67ff89c1

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:637ca3bb9698577cbd1729edf00845ec7263616776fb9bb98069a379c2e91dd8

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:cbddc3924749728c90f4708897ce7629f9f33f657ccf6817f5ebde581d2a514b

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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:2d729341f0769366c8be7a9dea7ea48205e031e8d64b7b1623d14dc385257da9

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:46.913135Z digest=sha256:096c9cdc0ee75b0eebab5b5961ed81e66f314378cff665986a02706970a3ec2f

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:6ba941bdad1b446dce08bc189034b23aae37f48f7ca9b178166ffc28aec4296b

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:47.117552Z digest=sha256:1fcaeaf4298808f49b294313c8475c443570e04ef5fc5be51b066d29d1bb3394

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

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

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:47.402535Z digest=sha256:10d873415b96d046437a4eda8df028601df8e649814353131844b1b32c3a5511

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:d875c15b34e2069fc293ddfcb9bec1dbd27daf6fd25471fd3907b29f0a92e377

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T20:54:47.614780Z digest=sha256:607ddd8e4dbb7a6138a5a72ebe0a25935943afcdc32c797e4549a0b11dbac111

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-09T06:31:02.800959+00:00.

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

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:89fcc91bd07e5aa07229cde13e814fc0d4e483075d561ca409ef5c336232dcb3

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:45d7b4802848f437181b6c0aef9a9d917c58af2ddf4ed3d207d0575271f3b8bb

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-09T06:31:02.800959+00:00.

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

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:0ab59bb63fa8f0d062f1d014cf69a26fba1e9759ccf5ffd8a62c16c327a516d9

Pith citing papers

No inbound Pith citation observations are available.