Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-22T13:42:05.787708Z
Paper Citation Record · LEDGER
As of 9 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2505.15756.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-22T13:42:05.787708Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
45 of 45 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 94a76b1d-6d21-4faf-b725-918e7eea2f30 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the 37th IEEE/ACM International Conference on Automated Soft- ware Engineering, pp
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation de8893f8-606d-4a2d-89e2-164e14c57cca · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2019 International Conference on Computer and Information Sciences (ICCIS), pp
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 875ea241-f50f-42d6-a052-e1ca0322094d · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation b91af272-135c-4d7b-aad5-dff1390e99d5 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 32nd USENIX Security Symposium (USENIX Security 23), pp
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e1671da8-8c9c-44fb-a42c-8cc59af7a61a · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts white paper 3(37), 2–1 (2014)
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation fb093b48-989a-47e9-8ec3-22b750172921 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 36b10b0e-8e1f-46de-a066-b8cf15e8556d · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Software Engineering 48(1), 327–345 (2020)
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 392f2e62-9405-4737-aabe-79f0c007bf6f · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Automated Software Engineering 30(2), 31 (2023)
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6b9a7adc-597f-4f11-a129-ee162b700c7c · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Educational and psychological measurement 20(1), 37–46 (1960)
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 25e1f10a-0274-437b-b968-733515e0f343 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation b82564bb-9af5-42a4-9aac-d50114368d05 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Informa- tion and Software Technology 171, 107468 (2024)
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation fa6d2b71-f3f7-46fa-8673-da35cf29aa64 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the ACM/IEEE 42nd International conference on software engineering, pp
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 1c0a64aa-cde1-4189-b9ac-dad70e0af3e6 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), pp
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f8a464cc-38b3-465b-b877-8a6583b48ce1 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, pp
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation fa3d693d-b8c6-4049-bc09-d14b1e607411 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 37th IEEE/ACM International Conference on Automated Software Engineering, pp
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0fe0dad7-66fa-4871-9014-db5347634440 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA), pp
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 623c7c39-02f9-46d1-9850-3682f52b8bee · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Sensors 22(5), 1829 (2022)
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e18e9e8f-a45c-4bd2-91a7-6e5803f71406 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceed- ings of the 20th International Conference on Predictive Models and Data Analytics in Software Engineering, pp
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c2c96b40-915c-4b98-8700-072a373ab1b3 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Ndss, pp
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7d164b3a-57f1-4e45-85f1-63aa3716398b · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Ieee Access 10, 57037–57062 (2022)
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4abfa3f5-1152-47ab-82bf-fd5d49c10f05 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Unresolved cited work
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9cd08dba-cfc6-4a60-9795-79caa7f76b9a · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Knowledge and Data Engineering (2021)
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6d45b737-b10a-4014-bcdb-61053703a530 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), pp
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c80a887e-6cfc-4782-8e5a-da1618f5a04e · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pp
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ba9bb76d-1083-4209-b91d-153aa8d2e9c5 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Decentralized Business Review p
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 04eccbf4-2e4a-4f07-aaa6-80dac702c152 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 IEEE/ACM 20th International Conference on Mining Software Reposi- tories (MSR), pp
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8a12ce53-1ff1-485c-a216-ebbd19b198b9 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, pp
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 82ea6cc2-dc6f-4d9d-87b6-2a557bb73f67 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4359559a-2824-42fe-ac02-9e8ad390e4db · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts https://github.com/fsalzano/Empirical-Analysis-of-V ulnerability- Detection- Tools- for- Solidity- Smart- Contracts (2024)
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 937925c6-a7df-438b-b654-3cb01ccbc71e · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f256c0f6-6cde-4fdc-af16-8a59b0c17b0e · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2024 IEEE Symposium on Security and Privacy (SP), pp
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation cc68ebc2-e547-45e7-bfbf-6c51635b3269 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c91745d1-3ea3-4eb4-8325-8a80cb84ebca · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, pp
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6e926ebf-f933-4f98-910e-6edb875a6f3e · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Pro- ceedings of the 1st international workshop on emerging trends in software engineering for blockchain, pp
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation abf98db7-35e4-4120-ba24-01ce87321ae9 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the 34th annual computer security applications conference, pp
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 25ae0fb8-6471-49c6-8724-80e3fc2be830 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the 2018 ACM SIGSAC conference on computer and communications security, pp
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation eafd5140-6885-4817-858a-5f178ae43673 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Proceedings of the ACM on Software Engineering 1(FSE), 161–181 (2024)
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation cfb1f4f9-bacc-4ef3-bee2-4877462da553 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Software Engineering (2024)
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0654f16d-5a5c-4f40-ac7a-bbf2e81f6bd7 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, pp
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8539c443-6342-41c2-b28a-1dd55f30b078 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f633c4ec-a889-48b1-8239-66182aa1df79 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Software Engineering (2024) 38 Salzano et al
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation a89e091f-70f7-4a6e-ab70-242197dda9d0 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts Journal of Information Security and Applications 77, 103555 (2023)
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 1c937a2e-71d1-41ee-a910-a4f7e2ca0a8a · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ea8a1617-1e4c-4450-9ae7-6cfe3f252593 · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the Twenty-Ninth Inter- national Conference on International Joint Conferences on Artificial Intelligence, pp
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation cb95fc6e-b9da-4992-b4e4-8c6a2a3d371d · outbound
An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Software Engineering 47(10), 2084–2106 (2019)
Reference 45
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.
No inbound Pith citation observations are available.