37 citations · 48 across the 8 of their papers we have counts for
1 paper · 1 filter
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…