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

Sohon Roy, Arie van Deursen, Felienne Hermans

Browse the full QRS paper archive.