AVA: automated interpretation of dynamically detected anomalies. - Anton Babenko; Leonardo Mariani; Fabrizio Pastore (ISSTA, 2009)