Germán Vidal. Symbolic execution as a basis for termination analysis. Science of Computer Programming, 102:142-157, 2015. [doi]
@article{Vidal15, title = {Symbolic execution as a basis for termination analysis}, author = {Germán Vidal}, year = {2015}, doi = {10.1016/j.scico.2015.01.007}, url = {http://dx.doi.org/10.1016/j.scico.2015.01.007}, researchr = {https://researchr.org/publication/Vidal15}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {102}, pages = {142-157}, }