Debin Gao Michael K. Reiter Dawn Xiaodong Song BinHunt: Automatically Finding Semantic Differences in Binary Programs. 238-255 2008 ICICS http://dx.doi.org/10.1007/978-3-540-88625-9_16 conf/icics/2008 db/conf/icics/icics2008.html#GaoRS08