Closed Symbolic Execution for Verifying Program Termination | IEEE Conference Publication | IEEE Xplore