@misc{17870,
  author = {Omar Al-Bataineh and Leon Moonen},
  title = {Towards Developing Effective Fault localization Technique for Termination Bugs in Loop Programs},
  abstract = {This paper describes a fault localization (FL) framework for termination bugs, which are programming errors that cause the program to run indefinitely. Due to the high degree of complexity involved in identifying the root causes of a termination bug, a framework for automated debugging of termination bugs needs to integrate the strengths of multiple technologies: termination provers, static analysis, and slicing techniques. Termination provers are used to identify the non-terminating loops in the examined loop program and to generate counter-examples for the non-terminating cases, static analysis is used to obtain useful syntactic information about the analyzed loop program, whereas program slicing is used to reduce the complexity of the analyzed multiple-loop programs. We demonstrate how to combine the technologies to produce a feasible list of suspicious statements for termination bugs. We also conduct an empirical analysis to evaluate the effectiveness of current automated program repair (APR) tools in handling termination bugs using dynamic FL techniques, and identify the challenges and limitations that FL tools face when handling termination bugs.},
  year = {2024},
  journal = {Proceedings of the 5th ACM/IEEE International Workshop on Automated Program Repair (APR)},
  pages = {5-8},
  publisher = {ACM},
  url = {https://dl.acm.org/doi/10.1145/3643788.3648008},
  doi = {10.1145/3643788.3648008},
}