Automatic detection of software defects: an industrial experience. - Sergio Gandini; Danilo Ravotto; Walter Ruzzarin; Ernesto Sánchez 001; Giovanni Squillero; Alberto Paolo Tonda (GECCO, 2009)