Using constraints to diagnose faulty spreadsheets
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605495858 | ||
| 003 | CHVBK | ||
| 005 | 20210128100533.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150601xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s11219-014-9236-4 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s11219-014-9236-4 | ||
| 245 | 0 | 0 | |a Using constraints to diagnose faulty spreadsheets |h [Elektronische Daten] |c [Rui Abreu, Birgit Hofer, Alexandre Perez, Franz Wotawa] |
| 520 | 3 | |a Spreadsheets can be viewed as a highly flexible programming environment for end users. Spreadsheets are widely adopted for decision making and may have a serious economical impact for the business. However, spreadsheets are staggeringly prone to errors. Hence, approaches for aiding the process of pinpointing the faulty cells in a spreadsheet are of great value. We present a constraint-based approach, ConBug, for debugging spreadsheets. The approach takes as input a (faulty) spreadsheet and a test case that reveals the fault and computes a set of diagnosis candidates for the debugging problem. Therefore, we convert the spreadsheet and a test case to a constraint satisfaction problem. We perform an empirical evaluation with 78spreadsheets from different sources, where we demonstrate that our approach is light-weight and efficient. From our experimental results, we conclude that ConBug helps end users to pinpoint faulty cells. | |
| 540 | |a Springer Science+Business Media New York, 2014 | ||
| 690 | 7 | |a Spreadsheets |2 nationallicence | |
| 690 | 7 | |a Debugging |2 nationallicence | |
| 690 | 7 | |a Constraints |2 nationallicence | |
| 700 | 1 | |a Abreu |D Rui |u Department of Informatics Engineering, University of Porto, Porto, Portugal |4 aut | |
| 700 | 1 | |a Hofer |D Birgit |u Institute for Software Technology, Graz University of Technology, Graz, Austria |4 aut | |
| 700 | 1 | |a Perez |D Alexandre |u Department of Informatics Engineering, University of Porto, Porto, Portugal |4 aut | |
| 700 | 1 | |a Wotawa |D Franz |u Institute for Software Technology, Graz University of Technology, Graz, Austria |4 aut | |
| 773 | 0 | |t Software Quality Journal |d Springer US; http://www.springer-ny.com |g 23/2(2015-06-01), 297-322 |x 0963-9314 |q 23:2<297 |1 2015 |2 23 |o 11219 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s11219-014-9236-4 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s11219-014-9236-4 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Abreu |D Rui |u Department of Informatics Engineering, University of Porto, Porto, Portugal |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Hofer |D Birgit |u Institute for Software Technology, Graz University of Technology, Graz, Austria |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Perez |D Alexandre |u Department of Informatics Engineering, University of Porto, Porto, Portugal |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Wotawa |D Franz |u Institute for Software Technology, Graz University of Technology, Graz, Austria |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Software Quality Journal |d Springer US; http://www.springer-ny.com |g 23/2(2015-06-01), 297-322 |x 0963-9314 |q 23:2<297 |1 2015 |2 23 |o 11219 | ||