Copertina

LLMDFA: Analyzing Dataflow in Code with Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Chengpeng, Zhang, Wuqi, Su, Zian, Xu, Xiangzhe, Xie, Xiaoheng, Zhang, Xiangyu
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Machine Learning Software Engineering 68N30, 68T01 D.3.0; D.2.4; I.2.5; I.2.6
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

Mind the Metrics: Patterns for Telemetry-Aware In-IDE AI Application Development using the Model Context Protocol (MCP)
di: Koc, Vincent, et al.
Pubblicazione: (2025)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
di: Saberi, Iman, et al.
Pubblicazione: (2023)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
di: Saberi, Iman, et al.
Pubblicazione: (2023)

DRS-OSS: Practical Diff Risk Scoring with LLMs
di: Sayedsalehi, Ali, et al.
Pubblicazione: (2025)

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
di: Haseeb, Muhammad
Pubblicazione: (2025)

SLEAN: Simple Lightweight Ensemble Analysis Network for Multi-Provider LLM Coordination: Design, Implementation, and Vibe Coding Bug Investigation Case Study
di: Vargas, Matheus J. T.
Pubblicazione: (2025)

Dual-Process Scaffold Reasoning for Enhancing LLM Code Debugging
di: Hsieh, Po-Chung, et al.
Pubblicazione: (2025)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
di: Alonso, Pepe, et al.
Pubblicazione: (2026)

Generative AI and the Transformation of Software Development Practices
di: Acharya, Vivek
Pubblicazione: (2025)

The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model
di: Zhao, Zelin, et al.
Pubblicazione: (2023)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

A Prompt Learning Framework for Source Code Summarization
di: Xu, Tingting, et al.
Pubblicazione: (2023)

Feature-Factory: Automating Software Feature Integration Using Generative AI
di: Vsevolodovna, Ruslan Idelfonso Magana
Pubblicazione: (2024)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
di: Khan, Ishraq, et al.
Pubblicazione: (2025)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
di: Radosky, Lukas, et al.
Pubblicazione: (2026)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
di: Liyanage, Danushka, et al.
Pubblicazione: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
di: Platzer, André
Pubblicazione: (2024)

AI for software engineering: from probable to provable
di: Meyer, Bertrand
Pubblicazione: (2025)

When Many-Shot Prompting Fails: An Empirical Study of LLM Code Translation
di: Oskooei, Amirkia Rafiei, et al.
Pubblicazione: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
di: Lauer, Alexander, et al.
Pubblicazione: (2026)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
di: Lin, Hongyu, et al.
Pubblicazione: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
di: Helbling, Caleb, et al.
Pubblicazione: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
di: Helbling, Caleb, et al.
Pubblicazione: (2025)

A Systematic Review of Digital Twin-Driven Predictive Maintenance in Industrial Engineering: Taxonomy, Architectural Elements, and Future Research Directions
di: Ismail, Leila, et al.
Pubblicazione: (2025)

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
di: Xu, Ruoran, et al.
Pubblicazione: (2026)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
di: Chen, Xinfang, et al.
Pubblicazione: (2025)

Towards Human-AI Synergy in Requirements Engineering: A Framework and Preliminary Study
di: Abbasi, Mateen Ahmed, et al.
Pubblicazione: (2025)

On measuring grounding and generalizing grounding problems
di: Quigley, Daniel, et al.
Pubblicazione: (2025)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
di: Le, Tuan D, et al.
Pubblicazione: (2025)

SDVDiag: Using Context-Aware Causality Mining for the Diagnosis of Connected Vehicle Functions
di: Weiß, Matthias, et al.
Pubblicazione: (2026)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
di: Potanin, Alex
Pubblicazione: (2026)

Implementing Knowledge Representation and Reasoning with Object Oriented Design
di: Bassiouny, Abdelrhman, et al.
Pubblicazione: (2026)

Semantic Modeling for World-Centered Architectures
di: Mantsivoda, Andrei, et al.
Pubblicazione: (2026)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
di: Mammadov, Tural, et al.
Pubblicazione: (2024)

Evaluating the Application of SOLID Principles in Modern AI Framework Architectures
di: Shrestha, Jonesh
Pubblicazione: (2025)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
di: Zeng, Zhengran, et al.
Pubblicazione: (2024)

Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
di: Kica, Marian, et al.
Pubblicazione: (2026)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
di: Li, Meng, et al.
Pubblicazione: (2026)

Customizing Graph Neural Networks using Path Reweighting
di: Chen, Jianpeng, et al.
Pubblicazione: (2021)