Mihai Christodorescu Somesh Jha Johannes Kinder Stefan Katzenbeisser Helmut Veith Software transformations to improve malware detection. 253-265 2007 3 Journal in Computer Virology 4 http://dx.doi.org/10.1007/s11416-007-0059-8 db/journals/virology/virology3.html#ChristodorescuJKKV07