Germán Vidal. Closed Symbolic Execution for Verifying Program Termination. In 12th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2012, Riva del Garda, Italy, September 23-24, 2012. pages 34-43, IEEE Computer Society, 2012. [doi]
Abstract is missing.