Standard

On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets. / Roy, Sohon; van Deursen, Arie; Hermans, Felienne.

Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security. Piscataway, NJ : IEEE, 2018. p. 199-206.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Harvard

Roy, S, van Deursen, A & Hermans, F 2018, On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets. in Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security. IEEE, Piscataway, NJ, pp. 199-206. https://doi.org/10.1109/QRS-C.2018.00046

APA

Roy, S., van Deursen, A., & Hermans, F. (2018). On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets. In Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security (pp. 199-206). IEEE. https://doi.org/10.1109/QRS-C.2018.00046

Vancouver

Roy S, van Deursen A, Hermans F. On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets. In Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security. Piscataway, NJ: IEEE. 2018. p. 199-206 https://doi.org/10.1109/QRS-C.2018.00046

Author

Roy, Sohon ; van Deursen, Arie ; Hermans, Felienne. / On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets. Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security. Piscataway, NJ : IEEE, 2018. pp. 199-206

BibTeX

@inproceedings{4982c377c6d24c46bc2c9161df02428c,
title = "On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets",
abstract = "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 exploratory empirical study on eight spreadsheets taken from VEnron and EUSES corpora. We apply automatic invariant inference to them, create tests based on the inferred invariants, and finally seed the sheets with faults. Results indicate that the effectiveness of the inferred invariants, in terms of accuracy of fault detection, largely varies from spreadsheet to spreadsheet. The effectiveness is found to be affected by the formulas and data contained in the spreadsheets, and also by the type of faults to be detected.",
keywords = "Spreadsheets, Invariant Analysis, Regression Faults, Fault Detection, Software Quality, End-user Development",
author = "Sohon Roy and {van Deursen}, Arie and Felienne Hermans",
year = "2018",
month = jul,
doi = "10.1109/QRS-C.2018.00046",
language = "English",
isbn = "978-1-5386-7840-4",
pages = "199--206",
booktitle = "Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security",
publisher = "IEEE",
address = "United States",

}

RIS

TY - GEN

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

AU - Roy, Sohon

AU - van Deursen, Arie

AU - Hermans, Felienne

PY - 2018/7

Y1 - 2018/7

N2 - 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 exploratory empirical study on eight spreadsheets taken from VEnron and EUSES corpora. We apply automatic invariant inference to them, create tests based on the inferred invariants, and finally seed the sheets with faults. Results indicate that the effectiveness of the inferred invariants, in terms of accuracy of fault detection, largely varies from spreadsheet to spreadsheet. The effectiveness is found to be affected by the formulas and data contained in the spreadsheets, and also by the type of faults to be detected.

AB - 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 exploratory empirical study on eight spreadsheets taken from VEnron and EUSES corpora. We apply automatic invariant inference to them, create tests based on the inferred invariants, and finally seed the sheets with faults. Results indicate that the effectiveness of the inferred invariants, in terms of accuracy of fault detection, largely varies from spreadsheet to spreadsheet. The effectiveness is found to be affected by the formulas and data contained in the spreadsheets, and also by the type of faults to be detected.

KW - Spreadsheets

KW - Invariant Analysis

KW - Regression Faults

KW - Fault Detection

KW - Software Quality

KW - End-user Development

U2 - 10.1109/QRS-C.2018.00046

DO - 10.1109/QRS-C.2018.00046

M3 - Conference contribution

SN - 978-1-5386-7840-4

SP - 199

EP - 206

BT - Companion of the 18th IEEE International Conference on Software Quality, Reliability, and Security

PB - IEEE

CY - Piscataway, NJ

ER -

ID: 45822066