A path-based approach to the detection of in nite looping (2001)

by J ZHANG
Venue:In 2nd AsiaPaci c Conference on Quality Software (APAQS