Paper Citation Record · LEDGER

Solsmith: Solidity Random Program Generator for Compiler Testing

As of 22 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 1 inbound Pith citation observation for arXiv:2506.03909.

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

pith.paper-citation-record.v1
2506.03909 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:56:36.019811Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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-05T22:54:38.410503Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-05T22:54:39.388807Z

Reference resolution

34 of 34 outbound references displayed

verified exact0
verified fuzzy33
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5fee3319-2aa1-4305-8ffc-7f1183399d3c · outbound

This paper cites Challenges and common solutions in smart contract development,.

Solsmith: Solidity Random Program Generator for Compiler Testing Challenges and common solutions in smart contract development,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.547446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c94b7439-0c5b-4ff3-ba01-fb2e2124a1de · outbound

This paper cites Understanding solidity event logging practices in the wild,.

Solsmith: Solidity Random Program Generator for Compiler Testing Understanding solidity event logging practices in the wild,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.532763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 13b71057-0f0c-42e3-9605-39c6bec81014 · outbound

This paper cites an unresolved cited work.

Solsmith: Solidity Random Program Generator for Compiler Testing Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:56:36.518478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 95c7c038-bf6a-45a9-985e-20d3618793cf · outbound

This paper cites Ethereum: A secure decentralised gener- alised transaction ledger,.

Solsmith: Solidity Random Program Generator for Compiler Testing Ethereum: A secure decentralised gener- alised transaction ledger,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.503883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6fbe04e2-b68c-4e3f-bb5e-39d10fb15a98 · outbound

This paper cites Use of blockchain-based smart contracts in logistics and supply chains,.

Solsmith: Solidity Random Program Generator for Compiler Testing Use of blockchain-based smart contracts in logistics and supply chains,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.490007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation bcb9abab-01f5-48b1-b325-ff8d5c68104e · outbound

This paper cites An empirical study of smart contract decompilers,.

Solsmith: Solidity Random Program Generator for Compiler Testing An empirical study of smart contract decompilers,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.476007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 59e0bb4d-2f37-406a-9531-166a4f0c0a85 · outbound

This paper cites Super-optimization of smart con- tracts,.

Solsmith: Solidity Random Program Generator for Compiler Testing Super-optimization of smart con- tracts,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.461665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4fabc9db-33d9-4a24-a17a-66bfb9eda809 · outbound

This paper cites A survey of compiler testing,.

Solsmith: Solidity Random Program Generator for Compiler Testing A survey of compiler testing,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.445507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c627d178-0698-4a22-922a-74677091189b · outbound

This paper cites Differential testing: a new approach to change detection,.

Solsmith: Solidity Random Program Generator for Compiler Testing Differential testing: a new approach to change detection,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.429303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a35c7a80-21bb-4d71-88d4-11e9e0846415 · outbound

This paper cites Does the failing test execute a single or multiple faults? an approach to classifying failing tests,.

Solsmith: Solidity Random Program Generator for Compiler Testing Does the failing test execute a single or multiple faults? an approach to classifying failing tests,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.414047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ede4aeb2-0874-4ee4-baaa-5e14322ddc63 · outbound

This paper cites Alleviating patch overfitting with automatic test generation: A study of feasibility and effectiveness for the nopol repair system,.

Solsmith: Solidity Random Program Generator for Compiler Testing Alleviating patch overfitting with automatic test generation: A study of feasibility and effectiveness for the nopol repair system,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.398943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d6c79fa7-d813-4e85-bfb4-a2c6c6aaf512 · outbound

This paper cites A snowballing literature study on test amplification,.

Solsmith: Solidity Random Program Generator for Compiler Testing A snowballing literature study on test amplification,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.383314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8a3b701b-5c5c-47eb-85c9-bcaad3b561f1 · outbound

This paper cites Mutation-oriented test data augmentation for gui software fault localization,.

Solsmith: Solidity Random Program Generator for Compiler Testing Mutation-oriented test data augmentation for gui software fault localization,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.368068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e75eea2d-bbf2-442a-9bb9-3a3ee39f6b68 · outbound

This paper cites Boosting compiler testing by injecting real-world code,.

Solsmith: Solidity Random Program Generator for Compiler Testing Boosting compiler testing by injecting real-world code,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.355136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c8d9c13f-0dfc-44d8-be1c-fe123872cdb9 · outbound

This paper cites Taming compiler fuzzers,.

Solsmith: Solidity Random Program Generator for Compiler Testing Taming compiler fuzzers,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.341575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ae048afe-a447-4106-9bd5-e91dc7d2dfee · outbound

This paper cites Llm-based code generation method for golang compiler testing,.

Solsmith: Solidity Random Program Generator for Compiler Testing Llm-based code generation method for golang compiler testing,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.327281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8e0b4207-98a7-4f42-8243-fea5dfaceede · outbound

This paper cites Syntax-aware mutation for testing the solidity compiler,.

Solsmith: Solidity Random Program Generator for Compiler Testing Syntax-aware mutation for testing the solidity compiler,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.312762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3b554b4b-5cbf-49c1-a4e8-a12afb55a3f3 · outbound

This paper cites Differential testing solidity compiler through deep contract manipu- lation and mutation,.

Solsmith: Solidity Random Program Generator for Compiler Testing Differential testing solidity compiler through deep contract manipu- lation and mutation,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.297617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b2a9d14e-99d7-47cd-a718-0b2ad608cfde · outbound

This paper cites Spectest: Specification-based compiler testing,.

Solsmith: Solidity Random Program Generator for Compiler Testing Spectest: Specification-based compiler testing,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.282847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ec9ed796-d57d-4923-aec8-a6ddf427914c · outbound

This paper cites Finding and understanding bugs in c compilers,.

Solsmith: Solidity Random Program Generator for Compiler Testing Finding and understanding bugs in c compilers,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.268101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 81352248-feb6-4d75-ac9b-c1f64a16333c · outbound

This paper cites Kubo: Precise and scalable detection of user-triggerable undefined behavior bugs in os kernel.,.

Solsmith: Solidity Random Program Generator for Compiler Testing Kubo: Precise and scalable detection of user-triggerable undefined behavior bugs in os kernel.,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.253548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 01dd3683-ff01-4c76-999e-fb25f659e96f · outbound

This paper cites Differential testing for software,.

Solsmith: Solidity Random Program Generator for Compiler Testing Differential testing for software,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.238271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a0875bc5-cc21-4ea6-92b1-d5af021f7e7f · outbound

This paper cites Differential testing: a new approach to change detection,.

Solsmith: Solidity Random Program Generator for Compiler Testing Differential testing: a new approach to change detection,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.221007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 45a7320a-edd2-47e9-9730-e401da7122d4 · outbound

This paper cites Rustsmith: Random differential compiler testing for rust,.

Solsmith: Solidity Random Program Generator for Compiler Testing Rustsmith: Random differential compiler testing for rust,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.206539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 02cb3bb6-6521-4f2e-9c10-bad43a9b2a28 · outbound

This paper cites Random testing for c and c++ compilers with yarpgen,.

Solsmith: Solidity Random Program Generator for Compiler Testing Random testing for c and c++ compilers with yarpgen,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.192235Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cb84ea8d-cb69-4c8b-8f24-0bf9a21858d2 · outbound

This paper cites using-the-compiler: input-description.

Solsmith: Solidity Random Program Generator for Compiler Testing using-the-compiler: input-description

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.177621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 81cf5184-7f31-4293-8822-89b5b1b2ce8a · outbound

This paper cites https://hardhat.org/docs, 2025.

Solsmith: Solidity Random Program Generator for Compiler Testing https://hardhat.org/docs, 2025

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.162611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 41def6e4-98d8-4bb1-8eaf-fade111aa392 · outbound

This paper cites Compiler testing using template java programs,.

Solsmith: Solidity Random Program Generator for Compiler Testing Compiler testing using template java programs,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.147085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1794ba20-b791-4c43-b2b9-dbcc17debbad · outbound

This paper cites Compiler optimiza- tion testing based on optimization-guided equivalence transformations,.

Solsmith: Solidity Random Program Generator for Compiler Testing Compiler optimiza- tion testing based on optimization-guided equivalence transformations,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.130842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 724df203-c79e-4f01-b660-330b760891ae · outbound

This paper cites Test-case reduction and deduplication almost for free with transformation- based compiler testing,.

Solsmith: Solidity Random Program Generator for Compiler Testing Test-case reduction and deduplication almost for free with transformation- based compiler testing,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.115454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2c0b2663-889e-47c9-b464-16439d092084 · outbound

This paper cites Finding typing com- piler bugs,.

Solsmith: Solidity Random Program Generator for Compiler Testing Finding typing com- piler bugs,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.100700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 21ac0c49-772b-4f35-bd44-eb36c1c34a00 · outbound

This paper cites Nnsmith: Generating diverse and valid test cases for deep learning compilers,.

Solsmith: Solidity Random Program Generator for Compiler Testing Nnsmith: Generating diverse and valid test cases for deep learning compilers,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.085381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b39f9d48-8fcc-4456-bde3-77f7a5f7e6ec · outbound

This paper cites A new methodology for generating test cases for a programming language compiler,.

Solsmith: Solidity Random Program Generator for Compiler Testing A new methodology for generating test cases for a programming language compiler,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.071158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f5814a67-81ac-4c44-b41b-d27d5fcd914d · outbound

This paper cites Orthogonal latin squares: an application of experiment design to compiler testing,.

Solsmith: Solidity Random Program Generator for Compiler Testing Orthogonal latin squares: an application of experiment design to compiler testing,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:56:36.056962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Pith citing papers

Observation d31ef098-4618-4412-940b-5d30538062f6 · inbound

Clinically-guided Data Synthesis for Laryngeal Lesion Detection cites this paper.

Clinically-guided Data Synthesis for Laryngeal Lesion Detection Solsmith: Solidity Random Program Generator for Compiler Testing

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-05T22:54:39.392297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.