Using constraints to diagnose faulty spreadsheets

Rui Abreu, Birgit Hofer, Alexandre Perez, Franz Wotawa. Using constraints to diagnose faulty spreadsheets. Software Quality Journal, 23(2):297-322, 2015. [doi]

Abstract

Abstract is missing.