Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf. Optimizing symbolic execution for malware behavior classification. Computers & Security, 93:101775, 2020. [doi]
Abstract is missing.