Improving Mac OS X security through gray box fuzzing technique. - Stefano Bianchi Mazzone; Mattia Pagnozzi; Aristide Fattori; Alessandro Reina; Andrea Lanzi; Danilo Bruschi (EUROSEC, 2014)