Symbolic execution based feature extraction for detection of malware. - Naveen Namani; Arindam Khan 002 (ICCCS, 2020)