Sohrabi, S.; Udrea, O.; Riabov, A. Hypothesis Exploration for Malware Detection Using Planning. AAAI 2013, 27, 883-889.