:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Meloche, Regan, Sivakumar, Durga, Anda, Amal A., Alfuhaid, Sofana, Amyot, Daniel, Logrippo, Luigi, Mylopoulos, John
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2509.11258
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
by: Zitouni, Mounira Nihad, et al.
Published: (2024)

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
by: Hassani, Shabnam, et al.
Published: (2024)

An Empirical Study on LLM-based Classification of Requirements-related Provisions in Food-safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
by: Wijayakoon, Chanuka, et al.
Published: (2025)

Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development
by: Iuliano, Gerardo, et al.
Published: (2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
by: Liu, Ye, et al.
Published: (2024)

Automating Business Intelligence Requirements with Generative AI and Semantic Search
by: Busany, Nimrod, et al.
Published: (2024)

Automated Invariant Generation for Solidity Smart Contracts
by: Liu, Ye, et al.
Published: (2024)

Generating Move Smart Contracts based on Concepts
by: Karanjai, Rabimba, et al.
Published: (2024)

Validation Framework for E-Contract and Smart Contract
by: Godboley, Sangharatna, et al.
Published: (2025)

Automating Comment Generation for Smart Contract from Bytecode
by: Xiang, Jianhang, et al.
Published: (2025)

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
by: Villanueva, Irving Jared, et al.
Published: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
by: Mbodji, Fatou Ndiaye, et al.
Published: (2024)

ContractSkill: Repairable Contract-Based Skills for Multimodal Web Agents
by: Lu, Zijian, et al.
Published: (2026)

SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)

Demystifying the Characteristics for Smart Contract Upgrades
by: Liu, Ye, et al.
Published: (2024)

Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)

When Prompt Under-Specification Improves Code Correctness: An Exploratory Study of Prompt Wording and Structure Effects on LLM-Based Code Generation
by: AKLI, Amal, et al.
Published: (2026)

Definition and Detection of Centralization Defects in Smart Contracts
by: Lin, Zewei, et al.
Published: (2024)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
by: Lin, Zewei, et al.
Published: (2024)

Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
by: Chen, Jiachi, et al.
Published: (2024)

Automatic Smart Contract Comment Generation via Large Language Models and In-Context Learning
by: Zhao, Junjie, et al.
Published: (2023)

Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
by: Salzano, Francesco, et al.
Published: (2025)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
by: Su, Jianzhong, et al.
Published: (2024)

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
by: Zhang, Jango
Published: (2024)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
by: Wang, Zexu, et al.
Published: (2024)

End-user Comprehension of Transfer Risks in Smart Contracts
by: Panicker, Yustynn, et al.
Published: (2024)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
by: Li, Lantian, et al.
Published: (2025)

On LLM-Assisted Generation of Smart Contracts from Business Processes
by: Stiehle, Fabian, et al.
Published: (2025)

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
by: Goel, Abhinav, et al.
Published: (2026)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
by: Chen, Longfei, et al.
Published: (2025)

SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
by: Li, Xiaoqi, et al.
Published: (2026)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025)

The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability
by: Qasse, Ilham, et al.
Published: (2025)

Do Automated Fixes Truly Mitigate Smart Contract Exploits?
by: Bobadilla, Sofia, et al.
Published: (2025)

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
by: Wu, Shuohan, et al.
Published: (2024)

WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
by: Xiao, Lei, et al.
Published: (2025)

SmartIntentNN: Towards Smart Contract Intent Detection
by: Huang, Youwei, et al.
Published: (2022)

BPMN to Smart Contract by Business Analyst
by: Liu, C. G., et al.
Published: (2025)