EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE（2023）
关键词
Non-termination detection,Static analysis,Dynamic testing,Testing oracle generation
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要