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

Publication
2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)