Nathan Rosenblum Xiaojin Zhu Barton Miller Karen Hunt Learning to Analyze Binary Computer Code. 798-804 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#RosenblumZMH08