Abreu R, Hofer B, Perez A, Wotawa F.? 2014.??Using constraints to diagnose faulty spreadsheets. Software Quality Journal .