S. Sohrabi, O. Udrea, and A. Riabov, “Hypothesis Exploration for Malware Detection Using Planning”, AAAI, vol. 27, no. 1, pp. 883-889, Jun. 2013.