A path-based approach to the detection of infinite looping | IEEE Conference Publication | IEEE Xplore