155
click to vote
COMPSAC
2009
IEEE
16 years 2 days ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...