BinHunt: Automatically Finding Semantic Differences in Binary Programs

Authors: Debin Gao, Michael K. Reiter, Dawn Xiaodong Song - Lecture notes in computer science 2008 cited by 256