Enhanced untestable path analysis using edge graphs | IEEE Conference Publication | IEEE Xplore