On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets

Automatically inferred invariants have been found to be successful in detecting regression faults in traditional software, but their application has not been explored in the context of spreadsheets. In this paper, we investigate the effectiveness of automatically inferred invariants in detecting regression faults in spreadsheets. We conduct an...