We have a technical paper [1] and a tool demonstration paper [2] accepted at ASE’23. The technical paper presents a practical method for detecting no-termination bugs in real-world software systems. While loop termination has been studied for many years, existing methods have limited scalability and are only effective on small programs. Our technique, EndWatch, is shown more effective than the state-of-the-art tools on standard benchmarks (detecting 87% of non-terminating programs while the best baseline detects only 67%), and useful in detecting non-termination in real-world projects (detecting 90% of known non-termination CVEs and 4 unknown bugs). In the second paper, we introduce a new dataset, CompSuite, which includes 123 real-world incompatibility issues. CompSuite is made available online and a video demostration can be found below.
CompSuite Demo Video
This year, 103 out of 629 submissions were accepted (another 31 were conditionally accepted) at ASE, which gives an acceptance rate of 21%.
References
- Zhang, Y., Xie, X., Li, Y., Chen, S., Zhang, C., & Li, X. (2023). EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 686–697.
- Xu, X., Zhu, C., & Li, Y. (2023, September). CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues. Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE).