15 citations · 70 across the 10 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.SE2023
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
Yao Zhang, Xiaofei Xie, Yi Li +3
Detecting non-termination is crucial for ensuring program correctness and security, such as preventing denial-of-service attacks. While termination analysis has been studied for ma…
cs.SE2023★ 9 cited
Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study
Qi Guo, Junming Cao, Xiaofei Xie +4
Code review is an essential activity for ensuring the quality and maintainability of software projects. However, it is a time-consuming and often error-prone task that can signific…
cs.SE2023
Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps
Yuxin Zhang, Sen Chen, Lingling Fan +2
Approximately 15% of the world's population is suffering from various disabilities or impairments. However, many mobile UX designers and developers disregard the significance of ac…