Specification Vibing for Automated Program Repair
Fuente:
arXiv
Saved in:
| Main Authors: | Zhu, Taohong, Cordeiro, Lucas C., Mustafa, Mustafa A., Sun, Youcheng |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)
by: Zhu, Taohong, et al.
Published: (2025)
ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)
by: Farias, Bruno, et al.
Published: (2024)
ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
by: Nielebock, Sebastian, et al.
Published: (2024)
by: Nielebock, Sebastian, et al.
Published: (2024)
Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)
by: Charalambous, Yiannis, et al.
Published: (2024)
PathFix: Automated Program Repair with Expected Path
by: He, Xu, et al.
Published: (2025)
by: He, Xu, et al.
Published: (2025)
VulReaD: Knowledge-Graph-guided Software Vulnerability Reasoning and Detection
by: Mukhtar, Samal, et al.
Published: (2026)
by: Mukhtar, Samal, et al.
Published: (2026)
Automated Program Repair Based on REST API Specifications Using Large Language Models
by: Yamagishi, Katsuki, et al.
Published: (2025)
by: Yamagishi, Katsuki, et al.
Published: (2025)
SAFLITE: Fuzzing Autonomous Systems via Large Language Models
by: Zhu, Taohong, et al.
Published: (2024)
by: Zhu, Taohong, et al.
Published: (2024)
The Impact of Program Reduction on Automated Program Repair
by: Vidziunas, Linas, et al.
Published: (2024)
by: Vidziunas, Linas, et al.
Published: (2024)
ThinkRepair: Self-Directed Automated Program Repair
by: Yin, Xin, et al.
Published: (2024)
by: Yin, Xin, et al.
Published: (2024)
Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
by: Li, Fengjie, et al.
Published: (2024)
by: Li, Fengjie, et al.
Published: (2024)
TSAPR: A Tree Search Framework For Automated Program Repair
by: Hu, Haichuan, et al.
Published: (2025)
by: Hu, Haichuan, et al.
Published: (2025)
Energy Consumption of Automated Program Repair
by: Martinez, Matias, et al.
Published: (2022)
by: Martinez, Matias, et al.
Published: (2022)
Empirical Evaluation of Large Language Models in Automated Program Repair
by: Sun, Jiajun, et al.
Published: (2025)
by: Sun, Jiajun, et al.
Published: (2025)
MergeRepair: An Exploratory Study on Merging Task-Specific Adapters in Code LLMs for Automated Program Repair
by: Dehghan, Meghdad, et al.
Published: (2024)
by: Dehghan, Meghdad, et al.
Published: (2024)
Evaluating the Generalizability of LLMs in Automated Program Repair
by: Li, Fengjie, et al.
Published: (2025)
by: Li, Fengjie, et al.
Published: (2025)
VibeContract: The Missing Quality Assurance Piece in Vibe Coding
by: Wang, Song
Published: (2026)
by: Wang, Song
Published: (2026)
RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
by: Xu, Tongtong, et al.
Published: (2019)
by: Xu, Tongtong, et al.
Published: (2019)
Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals
by: Le-Anh, Minh, et al.
Published: (2026)
by: Le-Anh, Minh, et al.
Published: (2026)
On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair
by: Al-Bataineh, Omar I.
Published: (2024)
by: Al-Bataineh, Omar I.
Published: (2024)
Towards Practical and Useful Automated Program Repair for Debugging
by: Xin, Qi, et al.
Published: (2024)
by: Xin, Qi, et al.
Published: (2024)
BUGSPHP: A dataset for Automated Program Repair in PHP
by: Pramod, K. D., et al.
Published: (2024)
by: Pramod, K. D., et al.
Published: (2024)
LogUpdater: Automated Detection and Repair of Specific Defects in Logging Statements
by: Zhong, Renyi, et al.
Published: (2024)
by: Zhong, Renyi, et al.
Published: (2024)
A Systematic Literature Review on Large Language Models for Automated Program Repair
by: Zhang, Quanjun, et al.
Published: (2024)
by: Zhang, Quanjun, et al.
Published: (2024)
Automated Repair of C Programs Using Large Language Models
by: Farzandway, Mahdi, et al.
Published: (2025)
by: Farzandway, Mahdi, et al.
Published: (2025)
Exploring Generalizable Automated Program Repair with Large Language Models
by: Campos, Viola, et al.
Published: (2025)
by: Campos, Viola, et al.
Published: (2025)
Adapting Knowledge Prompt Tuning for Enhanced Automated Program Repair
by: Cai, Xuemeng, et al.
Published: (2025)
by: Cai, Xuemeng, et al.
Published: (2025)
RePurr: Automated Repair of Block-Based Learners' Programs
by: Schweikl, Sebastian, et al.
Published: (2025)
by: Schweikl, Sebastian, et al.
Published: (2025)
Reinforcement Learning for Mutation Operator Selection in Automated Program Repair
by: Hanna, Carol, et al.
Published: (2023)
by: Hanna, Carol, et al.
Published: (2023)
DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
by: Wu, Linhao, et al.
Published: (2026)
by: Wu, Linhao, et al.
Published: (2026)
Abductive Vibe Coding (Extended Abstract)
by: Murphy, Logan, et al.
Published: (2026)
by: Murphy, Logan, et al.
Published: (2026)
The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
by: Dantas, PIerre, et al.
Published: (2025)
by: Dantas, PIerre, et al.
Published: (2025)
VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
by: Li, Jia, et al.
Published: (2026)
by: Li, Jia, et al.
Published: (2026)
Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-shot Learning
by: Xia, Chunqiu Steven, et al.
Published: (2022)
by: Xia, Chunqiu Steven, et al.
Published: (2022)
ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
by: Kong, Jiaolong, et al.
Published: (2024)
by: Kong, Jiaolong, et al.
Published: (2024)
Semantic Evolution over Populations for LLM-Guided Automated Program Repair
by: Le, Cuong Chi, et al.
Published: (2026)
by: Le, Cuong Chi, et al.
Published: (2026)
What's in a Benchmark? The Case of SWE-Bench in Automated Program Repair
by: Martinez, Matias, et al.
Published: (2026)
by: Martinez, Matias, et al.
Published: (2026)
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
by: Yang, Aidan Z. H., et al.
Published: (2024)
by: Yang, Aidan Z. H., et al.
Published: (2024)
Vibe Modeling: Challenges and Opportunities
by: Cabot, Jordi
Published: (2025)
by: Cabot, Jordi
Published: (2025)
Patch Validation in Automated Vulnerability Repair
by: Yu, Zheng, et al.
Published: (2026)
by: Yu, Zheng, et al.
Published: (2026)
Similar Items
-
ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025) -
ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024) -
ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
by: Nielebock, Sebastian, et al.
Published: (2024) -
Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024) -
PathFix: Automated Program Repair with Expected Path
by: He, Xu, et al.
Published: (2025)