Clark W. Barrett Yi Fang Benjamin Goldberg Ying Hu Amir Pnueli Lenore D. Zuck TVOC: A Translation Validator for Optimizing Compilers. 291-295 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_29 db/conf/cav/cav2005.html#BarrettFGHPZ05