:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Khouass, Abdelkader, attiogbé, christian, messabihi, mohamed
Format:	Preprint
Publié:	2021
Sujets:	Software Engineering
Accès en ligne:	https://arxiv.org/abs/2111.10426
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

DynamicsLLM: a Dynamic Analysis-based Tool for Generating Intelligent Execution Traces Using LLMs to Detect Android Behavioural Code Smells
par: Cherief, Houcine Abdelkader, et autres
Publié: (2026)

Ensuring Robustness in ML-enabled Software Systems: A User Survey
par: Abdelkader, Hala, et autres
Publié: (2025)

SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
par: Ye, Zhifan, et autres
Publié: (2025)

Automated Invariant Generation for Solidity Smart Contracts
par: Liu, Ye, et autres
Publié: (2024)

Generating Move Smart Contracts based on Concepts
par: Karanjai, Rabimba, et autres
Publié: (2024)

Validation Framework for E-Contract and Smart Contract
par: Godboley, Sangharatna, et autres
Publié: (2025)

Automatic Smart Contract Comment Generation via Large Language Models and In-Context Learning
par: Zhao, Junjie, et autres
Publié: (2023)

Automating Comment Generation for Smart Contract from Bytecode
par: Xiang, Jianhang, et autres
Publié: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
par: Mbodji, Fatou Ndiaye, et autres
Publié: (2024)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
par: Meloche, Regan, et autres
Publié: (2025)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
par: Wu, Hao, et autres
Publié: (2025)

Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
par: Li, Dongcheng, et autres
Publié: (2024)

Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
par: Salzano, Francesco, et autres
Publié: (2024)

A Systematic Mapping Study on Contract-based Software Design for Dependable Systems
par: Okumus, Fazli Faruk, et autres
Publié: (2025)

Systematic API Testing Through Model Checking and Executable Contracts
par: Ribeiro, Ana, et autres
Publié: (2026)

SmartML: Towards a Modeling Language for Smart Contracts
par: Veschetti, Adele, et autres
Publié: (2024)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
par: Wijayakoon, Chanuka, et autres
Publié: (2025)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
par: Lin, Zewei, et autres
Publié: (2024)

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
par: Villanueva, Irving Jared, et autres
Publié: (2025)

Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
par: Salzano, Francesco, et autres
Publié: (2025)

An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
par: Liu, Haiyang, et autres
Publié: (2025)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
par: Jin, Monica, et autres
Publié: (2025)

Demystifying the Characteristics for Smart Contract Upgrades
par: Liu, Ye, et autres
Publié: (2024)

Effective Targeted Testing of Smart Contracts
par: Fooladgar, Mahdi, et autres
Publié: (2024)

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
par: Liu, Christian Gang, et autres
Publié: (2025)

ML-On-Rails: Safeguarding Machine Learning Models in Software Systems A Case Study
par: Abdelkader, Hala, et autres
Publié: (2024)

SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
par: Li, Xiaoqi, et autres
Publié: (2026)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
par: Zhang, Jingwen, et autres
Publié: (2026)

Definition and Detection of Centralization Defects in Smart Contracts
par: Lin, Zewei, et autres
Publié: (2024)

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
par: Liao, Zeqin, et autres
Publié: (2024)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
par: Liao, Zeqin, et autres
Publié: (2024)

Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery
par: Liao, Zeqin, et autres
Publié: (2025)

A Comparative Gas Cost Analysis of Proxy and Diamond Patterns in EVM Blockchains for Trusted Smart Contract Engineering
par: Benedetti, Anto, et autres
Publié: (2023)

Towards Model-Driven Dashboard Generation for Systems-of-Systems
par: Rossi, Maria Teresa, et autres
Publié: (2024)

On LLM-Assisted Generation of Smart Contracts from Business Processes
par: Stiehle, Fabian, et autres
Publié: (2025)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
par: Wang, Zexu, et autres
Publié: (2024)

End-user Comprehension of Transfer Risks in Smart Contracts
par: Panicker, Yustynn, et autres
Publié: (2024)

Dataset of Yul Contracts to Support Solidity Compiler Research
par: Fonal, Krzysztof
Publié: (2025)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
par: Li, Lantian, et autres
Publié: (2025)

PARCER as an Operational Contract to Reduce Variance, Cost, and Risk in LLM Systems
par: Filho, Elzo Brito dos Santos
Publié: (2026)