Home › Entities › academia › Towards Automated Generation of Bug Benchmark for Smart Contracts

Towards Automated Generation of Bug Benchmark for Smart Contracts

Research article (2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2019) · cited 13× · AI/ML
academia openalex:W2949467806
Press Enter · cited answer in seconds

Towards Automated Generation of Bug Benchmark for Smart Contracts

Summary

Towards Automated Generation of Bug Benchmark for Smart Contracts is a scholarly article[1].

Key Facts

  • Towards Automated Generation of Bug Benchmark for Smart Contracts's instance of is recorded as scholarly article[2].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Towards Automated Generation of Bug Benchmark for Smart Contracts. Retrieved May 24, 2026, from https://4ort.xyz/entity/towards-automated-generation-of-bug-benchmark-for-smart-contracts
MLA “Towards Automated Generation of Bug Benchmark for Smart Contracts.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/towards-automated-generation-of-bug-benchmark-for-smart-contracts.
BibTeX @misc{4ortxyz_towards-automated-generation-of-bug-benchmark-for-smart-contracts_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Towards Automated Generation of Bug Benchmark for Smart Contracts}}, year = {2026}, url = {https://4ort.xyz/entity/towards-automated-generation-of-bug-benchmark-for-smart-contracts}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Towards Automated Generation of Bug Benchmark for Smart Contracts — https://4ort.xyz/entity/towards-automated-generation-of-bug-benchmark-for-smart-contracts (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/towards-automated-generation-of-bug-benchmark-for-smart-contracts · Last refreshed: