Redirecting you to http://www.cc.gatech.edu/%7Esaswat/research/SymExAbstraction.pdf