Automatic detection of software defects: an industrial experience