Edson Borin Cheng Wang Youfeng Wu Guido Araujo Software-Based Transparent and Comprehensive Control-Flow Error Detection. 333-345 2006 conf/cgo/2006 CGO http://doi.ieeecomputersociety.org/10.1109/CGO.2006.33 db/conf/cgo/cgo2006.html#BorinWWA06