EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software

التفاصيل البيبلوغرافية
العنوان:	EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
المؤلفون:	Zhang, Yao, Xie, Xiaofei, Li, Yi, Chen, Sen, Zhang, Cen, Li, Xiaohong
المصدر:	2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :686-697 Sep, 2023
Relation:	2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)
قاعدة البيانات:	IEEE Xplore Digital Library