Image de couverture de livre

Python Symbolic Execution with LLM-powered Code Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Wenhan, Liu, Kaibo, Chen, An Ran, Li, Ge, Jin, Zhi, Huang, Gang, Ma, Lei
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Can Large Language Models Solve Path Constraints in Symbolic Execution?
par: Wang, Wenhan, et autres
Publié: (2025)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
par: Bouras, Dimitrios Stamatios, et autres
Publié: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
par: Sun, Zhensu, et autres
Publié: (2026)

Generating Equivalent Representations of Code By A Self-Reflection Approach
par: Li, Jia, et autres
Publié: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
par: Fang, Yuzhou, et autres
Publié: (2025)

Multi-Pass Targeted Dynamic Symbolic Execution
par: Yavuz, Tuba
Publié: (2024)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
par: Peng, Yun, et autres
Publié: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
par: Saumya, Charitha, et autres
Publié: (2023)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
par: Guerin, Cormac, et autres
Publié: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
par: Feng, Rong, et autres
Publié: (2025)

HITS: High-coverage LLM-based Unit Test Generation via Method Slicing
par: Wang, Zejun, et autres
Publié: (2024)

Showing LLM-Generated Code Selectively Based on Confidence of LLMs
par: Li, Jia, et autres
Publié: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
par: Abdelrazek, Zeyad, et autres
Publié: (2026)

Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
par: Chen, Le, et autres
Publié: (2025)

An Empirical Study on the Performance and Energy Usage of Compiled Python Code
par: Stoico, Vincenzo, et autres
Publié: (2025)

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

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
par: Jiang, Weipeng, et autres
Publié: (2024)

CodeRL+: Improving Code Generation via Reinforcement with Execution Semantics Alignment
par: Jiang, Xue, et autres
Publié: (2025)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
par: Dau, Anh T. V., et autres
Publié: (2026)

Strengthening Programming Comprehension in Large Language Models through Code Generation
par: Ren, Xiaoning, et autres
Publié: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
par: Liu, Yuchen, et autres
Publié: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
par: Saravanos, Antonios, et autres
Publié: (2026)

GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
par: Misra, Diganta, et autres
Publié: (2025)

DevEval: A Manually-Annotated Code Generation Benchmark Aligned with Real-World Code Repositories
par: Li, Jia, et autres
Publié: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Automated Code Editing with Search-Generate-Modify
par: Liu, Changshu, et autres
Publié: (2023)

Dynamic Stability of LLM-Generated Code
par: Rajput, Prateek, et autres
Publié: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
par: Yu, Hao, et autres
Publié: (2025)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
par: Li, Zhuohao, et autres
Publié: (2025)

Getting Python Types Right with RightTyper
par: Pizzorno, Juan Altmayer, et autres
Publié: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
par: Feng, Qiong, et autres
Publié: (2025)

Pareto Optimal Code Generation
par: Orlanski, Gabriel, et autres
Publié: (2025)

EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
par: van der Vleuten, Noah, et autres
Publié: (2025)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)

Effective LLM-Driven Code Generation with Pythoness
par: Levin, Kyla H., et autres
Publié: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
par: Rak-amnouykit, Ingkarat, et autres
Publié: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

CUTECat: Concolic Execution for Computational Law
par: Goutagny, Pierre, et autres
Publié: (2024)

CodeScore: Evaluating Code Generation by Learning Code Execution
par: Dong, Yihong, et autres
Publié: (2023)