Copertina

LLM For Loop Invariant Generation and Fixing: How Far Are We?

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Akhond, Mostafijur Rahman, Chakraborty, Saikat, Uddin, Gias
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

LLM Assisted Coding with Metamorphic Specification Mutation Agent
di: Akhond, Mostafijur Rahman, et al.
Pubblicazione: (2025)

Applications and Challenges of Fairness APIs in Machine Learning Software
di: Das, Ajoy, et al.
Pubblicazione: (2025)

BLAgent: Agentic RAG for File-Level Bug Localization
di: Mamun, Md Afif Al, et al.
Pubblicazione: (2026)

Ranking LLM-Generated Loop Invariants for Program Verification
di: Chakraborty, Saikat, et al.
Pubblicazione: (2023)

Retrieval-Augmented Test Generation: How Far Are We?
di: Shin, Jiho, et al.
Pubblicazione: (2024)

Deep Learning-Based Identification of Inconsistent Method Names: How Far Are We?
di: Wang, Taiming, et al.
Pubblicazione: (2025)

ChatGPT Incorrectness Detection in Software Reviews
di: Tanzil, Minaoar Hossain, et al.
Pubblicazione: (2024)

TriagerX: Dual Transformers for Bug Triaging Tasks with Content and Interaction Based Rankings
di: Mamun, Md Afif Al, et al.
Pubblicazione: (2025)

Why Are AI Agent Involved Pull Requests (Fix-Related) Remain Unmerged? An Empirical Study
di: Alam, Khairul, et al.
Pubblicazione: (2026)

When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
di: Guo, An, et al.
Pubblicazione: (2025)

Copilot-in-the-Loop: Fixing Code Smells in Copilot-Generated Python Code using Copilot
di: Zhang, Beiqi, et al.
Pubblicazione: (2024)

Fairness Improvement with Multiple Protected Attributes: How Far Are We?
di: Chen, Zhenpeng, et al.
Pubblicazione: (2023)

LLM-based Automated Architecture View Generation: Where Are We Now?
di: Sathvika, Miryala, et al.
Pubblicazione: (2026)

Using a Feedback Loop for LLM-based Infrastructure as Code Generation
di: Palavalli, Mayur Amarnath, et al.
Pubblicazione: (2024)

ClassInvGen: Class Invariant Synthesis using Large Language Models
di: Sun, Chuyue, et al.
Pubblicazione: (2025)

Optimized Log Parsing with Syntactic Modifications
di: Enan, Nafid, et al.
Pubblicazione: (2025)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
di: Pirzada, Muhammad A. A., et al.
Pubblicazione: (2026)

REINFOREST: Reinforcing Semantic Code Similarity for Cross-Lingual Code Search Models
di: Saieva, Anthony, et al.
Pubblicazione: (2023)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
di: Liu, Ruibang, et al.
Pubblicazione: (2024)

Is Vibe Coding the Future? An Empirical Assessment of LLM Generated Codes for Construction Safety
di: Uddin, S M Jamil
Pubblicazione: (2026)

An Empirical Study on LLM-based Agents for Automated Bug Fixing
di: Meng, Xiangxin, et al.
Pubblicazione: (2024)

Bias in the Loop: Auditing LLM-as-a-Judge for Software Engineering
di: Zhao, Zixiao, et al.
Pubblicazione: (2026)

Can We Enhance Bug Report Quality Using LLMs?: An Empirical Study of LLM-Based Bug Report Generation
di: Acharya, Jagrit, et al.
Pubblicazione: (2025)

PyGen: A Collaborative Human-AI Approach to Python Package Creation
di: Barua, Saikat, et al.
Pubblicazione: (2024)

ChatGPT Inaccuracy Mitigation during Technical Report Understanding: Are We There Yet?
di: Tamanna, Salma Begum, et al.
Pubblicazione: (2024)

RisConFix: LLM-based Automated Repair of Risk-Prone Drone Configurations
di: Han, Liping, et al.
Pubblicazione: (2025)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
di: Endres, Madeline, et al.
Pubblicazione: (2023)

Will It Survive? Deciphering the Fate of AI-Generated Code in Open Source
di: Rahman, Musfiqur, et al.
Pubblicazione: (2026)

PAGENT: Learning to Patch Software Engineering Agents
di: Xue, Haoran, et al.
Pubblicazione: (2025)

Assessing the Influence of Toxic and Gender Discriminatory Communication on Perceptible Diversity in OSS Projects
di: Sultana, Sayma, et al.
Pubblicazione: (2024)

Automated User Story Generation with Test Case Specification Using Large Language Model
di: Rahman, Tajmilur, et al.
Pubblicazione: (2024)

Runtime Failure Hunting for Physics Engine Based Software Systems: How Far Can We Go?
di: Li, Shuqing, et al.
Pubblicazione: (2025)

Debug2Fix: Can Interactive Debugging Help Coding Agents Fix More Bugs?
di: Garg, Spandan, et al.
Pubblicazione: (2026)

How Effective Are Neural Networks for Fixing Security Vulnerabilities
di: Wu, Yi, et al.
Pubblicazione: (2023)

How Many Tries Does It Take? Iterative Self-Repair in LLM Code Generation Across Model Scales and Benchmarks
di: Arimbur, Johin Johny
Pubblicazione: (2026)

Secret Leak Detection in Software Issue Reports using LLMs: A Comprehensive Evaluation
di: Ahmed, Sadif, et al.
Pubblicazione: (2024)

Can Agents Fix Agent Issues?
di: Rahardja, Alfin Wijaya, et al.
Pubblicazione: (2025)

"How do people decide?": A Model for Software Library Selection
di: Tanzil, Minaoar Hossain, et al.
Pubblicazione: (2024)

Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System
di: Weiss, Martin, et al.
Pubblicazione: (2025)

Can AI Agents Generate Microservices? How Far are We?
di: Adnan, Bassam, et al.
Pubblicazione: (2026)