BinHunt: Automatically Finding Semantic Differences in Binary ProgramsDebin Gao, Dawn Song, Michael K. Reiter|Lecture notes in computer science|2008Cited by 256