Jian Zhang. A Path-Based Approach to the Detection of Infinite Looping. In 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings. pages 88-96, IEEE Computer Society, 2001. [doi]
Abstract is missing.