:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Bobadilla, Sofia, Jin, Monica, Monperrus, Martin
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	https://arxiv.org/abs/2501.04600
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts
por: Andersson, Vivi, et al.
Publicado: (2025)

DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts
por: Morello, Gabriele, et al.
Publicado: (2024)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
por: Jin, Monica, et al.
Publicado: (2025)

CigaR: Cost-efficient Program Repair with LLMs
por: Hidvégi, Dávid, et al.
Publicado: (2024)

Dirty-Waters: Detecting Software Supply Chain Smells
por: Liu, Raphina, et al.
Publicado: (2024)

SoliDiffy: AST Differencing for Solidity Smart Contracts
por: Eshghie, Mojtaba, et al.
Publicado: (2024)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
por: Eshghie, Mojtaba, et al.
Publicado: (2025)

Software Supply Chain Smells: Lightweight Analysis for Secure Dependency Management
por: Schmid, Larissa, et al.
Publicado: (2026)

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
por: Saavedra, Nuno, et al.
Publicado: (2023)

GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
por: Cesarano, Carmine, et al.
Publicado: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
por: Silva, André, et al.
Publicado: (2025)

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

Software Supply Chain Security of Web3
por: Monperrus, Martin
Publicado: (2025)

Bootstrapping Coding Agents: The Specification Is the Program
por: Monperrus, Martin
Publicado: (2026)

Byam: Fixing Breaking Dependency Updates with Large Language Models
por: Reyes, Frank, et al.
Publicado: (2025)

Maven-Hijack: Software Supply Chain Attack Exploiting Packaging Order
por: Reyes, Frank, et al.
Publicado: (2024)

The Grand Software Supply Chain of AI Systems
por: Cesarano, Carmine, et al.
Publicado: (2026)

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

Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
por: Salzano, Francesco, et al.
Publicado: (2024)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
por: Liang, Ruichao, et al.
Publicado: (2026)

Galapagos: Automated N-Version Programming with LLMs
por: Ron, Javier, et al.
Publicado: (2024)

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
por: Liu, Christian Gang, et al.
Publicado: (2025)

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
por: Song, Hao, et al.
Publicado: (2025)

PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart Contracts
por: Soud, Majd, et al.
Publicado: (2023)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
por: Zhang, Jingwen, et al.
Publicado: (2026)

RepairBench: Leaderboard of Frontier Models for Program Repair
por: Silva, André, et al.
Publicado: (2024)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
por: Ron, Javier, et al.
Publicado: (2026)

ITER: Iterative Neural Repair for Multi-Location Patches
por: Ye, He, et al.
Publicado: (2023)

Causes and Canonicalization of Unreproducible Builds in Java
por: Sharma, Aman, et al.
Publicado: (2025)

Mimicking Production Behavior with Generated Mocks
por: Tiwari, Deepika, et al.
Publicado: (2022)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
por: Silva, André, et al.
Publicado: (2024)

Breaking-Good: Explaining Breaking Dependency Updates with Build Analysis
por: Reyes, Frank, et al.
Publicado: (2024)

A Large-Scale Study of Call Graph-based Impact Prediction using Mutation Testing
por: Musco, Vincenzo, et al.
Publicado: (2018)

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

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
por: Li, Xiaoqi, et al.
Publicado: (2024)

Where Do Smart Contract Security Analyzers Fall Short?
por: Abdelaziz, Tamer, et al.
Publicado: (2026)

Hyperparameter Optimization for AST Differencing
por: Martinez, Matias, et al.
Publicado: (2020)

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

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

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