Buchumschlag

NeuroSCA: Neuro-Symbolic Constraint Abstraction for Smart Contract Hybrid Fuzzing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liang, Haochen, Chen, Jiawei, Ochiai, Hideya
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation
von: Gai, Keke, et al.
Veröffentlicht: (2025)

NeuroFlake: A Neuro-Symbolic LLM Framework for Flaky Test Classification
von: Hoque, Khondaker Tasnia, et al.
Veröffentlicht: (2026)

Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing
von: Liang, Ruichao, et al.
Veröffentlicht: (2024)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
von: Schuler, Nicolas, et al.
Veröffentlicht: (2026)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
von: Granberry, George, et al.
Veröffentlicht: (2025)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
von: Liu, Ye, et al.
Veröffentlicht: (2024)

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
von: Shou, Chaofan, et al.
Veröffentlicht: (2024)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
von: Molinelli, Davide, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
von: Ibrahim, Ahmed F.
Veröffentlicht: (2026)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
von: Wang, Lianjing, et al.
Veröffentlicht: (2026)

Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
von: Chen, Jie, et al.
Veröffentlicht: (2025)

Human Side of Smart Contract Fuzzing: An Empirical Study
von: Qiao, Guanming, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
von: Zhang, Liao, et al.
Veröffentlicht: (2026)

SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair
von: Zhang, Yifan, et al.
Veröffentlicht: (2026)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
von: Nitin, Vikram, et al.
Veröffentlicht: (2025)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
von: Chen, Jiachi, et al.
Veröffentlicht: (2025)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
von: Chen, Zimu, et al.
Veröffentlicht: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)

DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
von: Medeiros, Ismael, et al.
Veröffentlicht: (2024)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
von: Cloosters, Tobias, et al.
Veröffentlicht: (2026)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
von: Huang, Huihui, et al.
Veröffentlicht: (2026)

AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
von: Ibrahimzada, Ali Reza, et al.
Veröffentlicht: (2024)

DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
von: Farrelly, Guy, et al.
Veröffentlicht: (2026)

Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
von: Yu, Yunguo
Veröffentlicht: (2025)

EmpiRE-Compass: A Neuro-Symbolic Dashboard for Sustainable and Dynamic Knowledge Exploration, Synthesis, and Reuse
von: Karras, Oliver, et al.
Veröffentlicht: (2026)

Validation Framework for E-Contract and Smart Contract
von: Godboley, Sangharatna, et al.
Veröffentlicht: (2025)

Demystifying the Characteristics for Smart Contract Upgrades
von: Liu, Ye, et al.
Veröffentlicht: (2024)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
von: Lee, Yeonseok
Veröffentlicht: (2026)

"Elementary, My Dear Watson." Detecting Malicious Skills via Neuro-Symbolic Reasoning across Heterogeneous Artifacts
von: Wang, Shenao, et al.
Veröffentlicht: (2026)

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
von: Zhang, Sai, et al.
Veröffentlicht: (2025)

Definition and Detection of Centralization Defects in Smart Contracts
von: Lin, Zewei, et al.
Veröffentlicht: (2024)

PBFuzz: Agentic Directed Fuzzing for PoV Generation
von: Zeng, Haochen, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
von: Sigloch, Paul, et al.
Veröffentlicht: (2026)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
von: Mbodji, Fatou Ndiaye, et al.
Veröffentlicht: (2024)

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

SmartML: Towards a Modeling Language for Smart Contracts
von: Veschetti, Adele, et al.
Veröffentlicht: (2024)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
von: Li, Lantian, et al.
Veröffentlicht: (2025)

Effective Targeted Testing of Smart Contracts
von: Fooladgar, Mahdi, et al.
Veröffentlicht: (2024)