Image de couverture de livre

Detecting Buggy Contracts via Smart Testing

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Sally Junsong, Yao, Jianan, Pei, Kexin, Takahashi, Hidedaki, Yang, Junfeng
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Machine Learning Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
par: Wang, Sally Junsong, et autres
Publié: (2024)

Verification Modulo Tested Library Contracts
par: Uppar, Abhishek, et autres
Publié: (2026)

Automatically Testing Functional Properties of Code Translation Models
par: Eniser, Hasan Ferit, et autres
Publié: (2023)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
par: Yang, Chenyuan, et autres
Publié: (2023)

SoliDiffy: AST Differencing for Solidity Smart Contracts
par: Eshghie, Mojtaba, et autres
Publié: (2024)

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
par: Goel, Abhinav, et autres
Publié: (2026)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
par: Chen, Boqi, et autres
Publié: (2024)

Assured Automatic Programming via Large Language Models
par: Mirchev, Martin, et autres
Publié: (2024)

Correctness-Guaranteed Code Generation via Constrained Decoding
par: Li, Lingxiao, et autres
Publié: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
par: Bayer, Jonas, et autres
Publié: (2026)

Deep Smart Contract Intent Detection
par: Huang, Youwei, et autres
Publié: (2022)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
par: Zhang, Guanqin, et autres
Publié: (2025)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
par: Melcer, Daniel, et autres
Publié: (2024)

Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction
par: Gamatié, Abdoulaye, et autres
Publié: (2024)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
par: Mitchell, Jacqueline L., et autres
Publié: (2025)

Top Leaderboard Ranking = Top Coding Proficiency, Always? EvoEval: Evolving Coding Benchmarks via LLM
par: Xia, Chunqiu Steven, et autres
Publié: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2024)

Large Language Models for Code: Security Hardening and Adversarial Testing
par: He, Jingxuan, et autres
Publié: (2023)

FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
par: Li, Chengpeng, et autres
Publié: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
par: Kong, Ziqiao, et autres
Publié: (2025)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
par: Sanchez-Stern, Alex, et autres
Publié: (2024)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
par: Ugare, Shubham, et autres
Publié: (2024)

JaxDecompiler: Redefining Gradient-Informed Software Design
par: Pochelu, Pierrick
Publié: (2024)

Finding Missed Code Size Optimizations in Compilers using LLMs
par: Italiano, Davide, et autres
Publié: (2024)

Language Models for Code Completion: A Practical Evaluation
par: Izadi, Maliheh, et autres
Publié: (2024)

Grounding Data Science Code Generation with Input-Output Specifications
par: Wen, Yeming, et autres
Publié: (2024)

Multi-modal Learning for WebAssembly Reverse Engineering
par: Huang, Hanxian, et autres
Publié: (2024)

SIMCOPILOT: Evaluating Large Language Models for Copilot-Style Code Generation
par: Jiang, Mingchao, et autres
Publié: (2025)

DINGO: Constrained Inference for Diffusion LLMs
par: Suresh, Tarun, et autres
Publié: (2025)

SEVerA: Verified Synthesis of Self-Evolving Agents
par: Banerjee, Debangshu, et autres
Publié: (2026)

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
par: Wei, Jiayi, et autres
Publié: (2023)

A benchmark for vericoding: formally verified program synthesis
par: Bursuc, Sergiu, et autres
Publié: (2025)

MLCPD: A Unified Multi-Language Code Parsing Dataset with Universal AST Schema
par: Gajjar, Jugal, et autres
Publié: (2025)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
par: Zenkner, Janis, et autres
Publié: (2025)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
par: Vaidya, Sairam, et autres
Publié: (2025)

MoTCoder: Elevating Large Language Models with Modular of Thought for Challenging Programming Tasks
par: Li, Jingyao, et autres
Publié: (2023)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
par: Silva, André, et autres
Publié: (2025)

Large Language Models for Multilingual Code Intelligence: A Survey
par: Jiang, Chao, et autres
Publié: (2026)

GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
par: Kashmira, Savini, et autres
Publié: (2025)

Guess & Sketch: Language Model Guided Transpilation
par: Lee, Celine, et autres
Publié: (2023)