Using finite-state models for log differencing. - Hen Amar; Lingfeng Bao; Nimrod Busany; David Lo 001; Shahar Maoz (ESEC/SIGSOFT FSE, 2018)