Paper Citation Record · LEDGER

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution

As of 10 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2509.08524.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2509.08524 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T20:34:06.852865Z

measured 12 of 12 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T19:08:20.450888Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

11 of 11 outbound references displayed

verified exact0
verified fuzzy0
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4f384fd8-50bd-47d1-8531-c9eef4a88989 · outbound

This paper cites A survey of symbolic execution techniques.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution A survey of symbolic execution techniques

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:05.431174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01a2f589-6221-48d3-9846-22d7436201a0 · outbound

This paper cites The smt-lib standard: Version 2.0.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution The smt-lib standard: Version 2.0

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:05.538919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3642af28-e539-4818-af30-972ebd41e0a4 · outbound

This paper cites Foster, and Armando Solar-Lezama.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution Foster, and Armando Solar-Lezama

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:05.687009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31b8bb5e-970b-4075-bfd6-b7bfd80b3c63 · outbound

This paper cites an unresolved cited work.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:05.778038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80a7079c-798b-4c8d-8124-fd72356b8432 · outbound

This paper cites SW AT: modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution).

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution SW AT: modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:05.918705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 761b279c-1ae4-4b84-9100-9b578df35610 · outbound

This paper cites Symbolic execution with existential second-order con- straints.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution Symbolic execution with existential second-order con- straints

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:06.042123Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e302bb8-451d-4284-be15-1cbdb6d209b1 · outbound

This paper cites an unresolved cited work.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:06.217807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 370424cf-91a5-44e1-97ec-1024db8e8b7f · outbound

This paper cites java.lang (Java SE 17 & JDK 17).

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution java.lang (Java SE 17 & JDK 17)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:06.399578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ceb3453b-a095-4968-a2ea-127ce57359b1 · outbound

This paper cites Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, and Abhik Roychoudhury.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, and Abhik Roychoudhury

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:06.545424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fcfd36d-b3bf-4bee-a0bb-85ab33fd06e2 · outbound

This paper cites Grammatically-based genetic programming.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution Grammatically-based genetic programming

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:06.745524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8a815b2-b514-4bfb-b7a7-dd51005187d5 · outbound

This paper cites Automatic model generation from documentation for java API functions.

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution Automatic model generation from documentation for java API functions

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T20:34:06.852865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 719a4a6c-029d-44e1-a132-eaa4240da56b · inbound

Prompt Pirates Need a Map: Stealing Seeds helps Stealing Prompts cites this paper.

Prompt Pirates Need a Map: Stealing Seeds helps Stealing Prompts AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T19:08:20.450888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.