Image de couverture de livre

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bouafif, Mohamed Salah, Zheng, Chen, Qasse, Ilham Ahmed, Zulkoski, Ed, Hamdaqa, Mohammad, Khomh, Foutse
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Emerging Technologies
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization
par: Bouafif, Mohamed Salah, et autres
Publié: (2025)

EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution
par: Qasse, Ilham, et autres
Publié: (2025)

Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability
par: Qasse, Ilham, et autres
Publié: (2024)

The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability
par: Qasse, Ilham, et autres
Publié: (2025)

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
par: Abukhalaf, Seif, et autres
Publié: (2024)

PLMGH: What Matters in PLM-GNN Hybrids for Code Classification and Vulnerability Detection
par: Idrissi, Mohamed Taoufik Kaouthar El, et autres
Publié: (2026)

Exploring Security Practices in Infrastructure as Code: An Empirical Study
par: Verdet, Alexandre, et autres
Publié: (2023)

TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
par: Wang, Shuzheng, et autres
Publié: (2025)

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
par: Chebolu, Indraveni, et autres
Publié: (2026)

Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum
par: Chen, Cheng-Kang, et autres
Publié: (2024)

LLM as a code generator in Agile Model Driven Development
par: Sadik, Ahmed R., et autres
Publié: (2024)

Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
par: Humeniuk, Dmytro, et autres
Publié: (2026)

PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart Contracts
par: Soud, Majd, et autres
Publié: (2023)

Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts
par: Abdelaziz, Tamer, et autres
Publié: (2023)

Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers
par: Hasan, Mohammed Mehedi, et autres
Publié: (2025)

LLMs Still Can't Avoid Instanceof: An Investigation Into GPT-3.5, GPT-4 and Bard's Capacity to Handle Object-Oriented Programming Assignments
par: Cipriano, Bruno Pereira, et autres
Publié: (2024)

Digital Twin Evolution for Sustainable Smart Ecosystems
par: Michael, Judith, et autres
Publié: (2024)

Model Context Protocol (MCP) Tool Descriptions Are Smelly! Towards Improving AI Agent Efficiency with Augmented MCP Tool Descriptions
par: Hasan, Mohammed Mehedi, et autres
Publié: (2026)

Real Faults in Model Context Protocol (MCP) Software: a Comprehensive Taxonomy
par: Taraghi, Mina, et autres
Publié: (2026)

An Initial Exploration of Fine-tuning Small Language Models for Smart Contract Reentrancy Vulnerability Detection
par: Pofcher, Ignacio Mariano Andreozzi, et autres
Publié: (2025)

A Construction-Phase Digital Twin Framework for Quality Assurance and Decision Support in Civil Infrastructure Projects
par: Islam, Md Asiful, et autres
Publié: (2026)

An AST-guided LLM Approach for SVRF Code Synthesis
par: Abdelmalak, Abanoub E., et autres
Publié: (2025)

Introduction to Digital Twins for the Smart Grid
par: Liu, Xiaoran, et autres
Publié: (2026)

Using quantum annealing to generate test cases for cyber-physical systems
par: Araujo, Hugo, et autres
Publié: (2025)

Holon Programming Model -- A Software-Defined Approach for System of Systems
par: Ashfaq, Muhammad, et autres
Publié: (2024)

Fault Localization in Deep Learning-based Software: A System-level Approach
par: Morovati, Mohammad Mehdi, et autres
Publié: (2024)

An Empirical Study of Testing Practices in Open Source AI Agent Frameworks and Agentic Applications
par: Hasan, Mohammed Mehedi, et autres
Publié: (2025)

MoT: A Model-Driven Low-Code Approach for Simplifying Cloud-of-Things Application Development
par: Welter, Cristiano, et autres
Publié: (2025)

SpecPylot: Python Specification Generation using Large Language Models
par: Ayon, Ragib Shahariar, et autres
Publié: (2026)

PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
par: Ishimwe, Ange-Thierry, et autres
Publié: (2025)

Evaluating and Enhancing Segmentation Model Robustness with Metamorphic Testing
par: Mzoughi, Seif, et autres
Publié: (2025)

HoneyGPT: Breaking the Trilemma in Terminal Honeypots with Large Language Model
par: Wang, Ziyang, et autres
Publié: (2024)

Logging Requirement for Continuous Auditing of Responsible Machine Learning-based Applications
par: Foalem, Patrick Loic, et autres
Publié: (2025)

Leveraging Data Characteristics for Bug Localization in Deep Learning Programs
par: Manke, Ruchira, et autres
Publié: (2024)

Towards Understanding the Impact of Data Bugs on Deep Learning Models in Software Engineering
par: Shah, Mehil B, et autres
Publié: (2024)

Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning
par: Manke, Ruchira, et autres
Publié: (2025)

TwinArch: A Digital Twin Reference Architecture
par: Somma, Alessandra, et autres
Publié: (2025)

Process Analytics -- Data-driven Business Process Management
par: Stierle, Matthias, et autres
Publié: (2025)

The Rise of the Software-Defined Vehicle: Architectures, Enabling Technologies, and Future Opportunities
par: Liotou, Eirini, et autres
Publié: (2026)

Towards Change Impact Analysis in Microservices-based System Evolution
par: Cerny, Tomas, et autres
Publié: (2025)