:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Ibrahimzada, Ali Reza
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	https://arxiv.org/abs/2401.12412
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories
par: Ibrahimzada, Ali Reza, et autres
Publié: (2026)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
par: Ke, Kaiyao, et autres
Publié: (2025)

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
par: Ibrahimzada, Ali Reza, et autres
Publié: (2025)

Challenging Bug Prediction and Repair Models with Synthetic Bugs
par: Ibrahimzada, Ali Reza, et autres
Publié: (2023)

Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code
par: Pan, Rangeet, et autres
Publié: (2023)

AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
par: Ibrahimzada, Ali Reza, et autres
Publié: (2024)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
par: Husák, Robert, et autres
Publié: (2025)

Robust Mutation Analysis of Quantum Programs Under Noise
par: Fortz, Sophie, et autres
Publié: (2026)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
par: Wen, Cheng, et autres
Publié: (2024)

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

ZeroFalse: Improving Precision in Static Analysis with LLMs
par: Iranmanesh, Mohsen, et autres
Publié: (2025)

Evaluation of Systems Programming Exercises through Tailored Static Analysis
par: Natella, Roberto
Publié: (2024)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
par: P, Akilesh, et autres
Publié: (2026)

Static Program Analysis Guided LLM Based Unit Test Generation
par: Roychowdhury, Sujoy, et autres
Publié: (2025)

Integrating Static Code Analysis Toolchains
par: Kern, Matthias, et autres
Publié: (2024)

Static Code Analysis with CodeChecker
par: Horvath, Gabor, et autres
Publié: (2024)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
par: Yan, Yanyan, et autres
Publié: (2026)

Call Graph Soundness in Android Static Analysis
par: Samhi, Jordan, et autres
Publié: (2024)

Do Code LLMs Do Static Analysis?
par: Su, Chia-Yi, et autres
Publié: (2025)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
par: Chang, Jianming, et autres
Publié: (2025)

ArkAnalyzer: The Static Analysis Framework for OpenHarmony
par: Chen, Haonan, et autres
Publié: (2025)

PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis
par: Wang, Zhongyi, et autres
Publié: (2025)

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
par: Paltenghi, Matteo, et autres
Publié: (2023)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
par: Huang, Huihui, et autres
Publié: (2026)

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference
par: Aman, Ali, et autres
Publié: (2026)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
par: Schneider, Simon, et autres
Publié: (2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
par: Horvath, Gabor, et autres
Publié: (2024)

An Empirical Study of Static Analysis Tools for Secure Code Review
par: Charoenwet, Wachiraphan, et autres
Publié: (2024)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
par: Schneider, Simon, et autres
Publié: (2024)

Enhancing Source Code Representations for Deep Learning with Static Analysis
par: Guan, Xueting, et autres
Publié: (2024)

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
par: He, Pengfei, et autres
Publié: (2025)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
par: Xiao, Yuan-An, et autres
Publié: (2025)

FP-Predictor - False Positive Prediction for Static Analysis Reports
par: Ohlmer, Tom, et autres
Publié: (2026)

Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
par: Venkatesh, Ashwin Prasad Shivarpatna, et autres
Publié: (2023)

Dynamic and Static Analysis of Python Software with Kieker Including Reconstructed Architectures
par: Larrivain, Daphné, et autres
Publié: (2025)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
Publié: (2024)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
par: Liu, Junwei, et autres
Publié: (2024)

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
par: Wickert, Anna-Katharina, et autres
Publié: (2024)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
par: Yan, Jiwei, et autres
Publié: (2024)

Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
par: Li, Dongcheng, et autres
Publié: (2024)