314 citations · 314 across the 7 of their papers we have counts for
1 paper · 1 filter
Yoav Alon, Cristina David
Termination analyses investigate the termination behavior of programs, intending to detect nontermination, which is known to cause a variety of program bugs (e.g. hanging programs,…