Hypothesis Exploration for Malware Detection Using Planning