"Closed Symbolic Execution for Verifying Program Termination."

Germán Vidal (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics