Unbounded symbolic execution for program verification - Jaffar, J. (2013)
10.1007/978-3-642-29860-8_32