Towards autonomous testing agents via conversational large language models

R Feldt, S Kang, J Yoon, S Yoo - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
Software testing is an important part of the development cycle, yet it requires specialized
expertise and substantial developer effort to adequately test software. Recent discoveries of …

Explainable automated debugging via large language model-driven scientific debugging

S Kang, B Chen, S Yoo, JG Lou - arXiv preprint arXiv:2304.02195, 2023 - arxiv.org
Automated debugging techniques have the potential to reduce developer effort in
debugging, and have matured enough to be adopted by industry. However, one critical …

A quantitative and qualitative evaluation of LLM-based explainable fault localization

S Kang, G An, S Yoo - Proceedings of the ACM on Software Engineering, 2024 - dl.acm.org
Fault Localization (FL), in which a developer seeks to identify which part of the code is
malfunctioning and needs to be fixed, is a recurring challenge in debugging. To reduce …

Anti-unification and generalization: a survey

DM Cerna, T Kutsia - arXiv preprint arXiv:2302.00277, 2023 - arxiv.org
Anti-unification (AU) is a fundamental operation for generalization computation used for
inductive inference. It is the dual operation to unification, an operation at the foundation of …

Towards objective-tailored genetic improvement through large language models

S Kang, S Yoo - 2023 IEEE/ACM International Workshop on …, 2023 - ieeexplore.ieee.org
While Genetic Improvement (GI) is a useful paradigm to improve functional and
nonfunctional aspects of software, existing techniques tended to use the same set of …

AI for DevSecOps: A Landscape and Future Opportunities

M Fu, J Pasuksmit, C Tantithamthavorn - arXiv preprint arXiv:2404.04839, 2024 - arxiv.org
DevOps has emerged as one of the most rapidly evolving software development paradigms.
With the growing concerns surrounding security in software systems, the DevSecOps …

Appt: Boosting automated patch correctness prediction via fine-tuning pre-trained models

Q Zhang, C Fang, W Sun, Y Liu, T He… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Automated program repair (APR) aims to fix software bugs automatically without human
debugging efforts and plays a crucial role in software development and maintenance …

Equational anti-unification over absorption theories

M Ayala-Rincón, DM Cerna, AFG Barragan… - … Joint Conference on …, 2024 - Springer
Interest in anti-unification, the dual problem of unification, is rising due to various new
applications. For example, anti-unification-based techniques have been used recently in …

User-Centric Deployment of Automated Program Repair at Bloomberg

D Williams, J Callan, S Kirbas, S Mechtaev… - Proceedings of the 46th …, 2024 - dl.acm.org
Automated program repair (APR) tools have unlocked the potential for the rapid rectification
of codebase issues. However, to encourage wider adoption of program repair in practice, it …

Exploring Experiences with Automated Program Repair in Practice

FN Meem, J Smith, B Johnson - Proceedings of the IEEE/ACM 46th …, 2024 - dl.acm.org
Automated program repair, also known as APR, is an approach for automatically repairing
software faults. There is a large amount of research on automated program repair, but very …