Toward an integrated framework for declarative and interactive spreadsheet debugging

ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering

Volumn , Issue , 2013, Pages 117-124

  Jannach, Dietmar ^a   Baharloo, Arash ^a   Williamson, David ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Artificial intelligence; Debugging; Software risk; Spreadsheets

Indexed keywords

AUTOMATED IDENTIFICATION; BUSINESS DECISIONS; DESIGN AND EVALUATIONS; INTEGRATED FRAMEWORKS; MODEL BASED DIAGNOSIS; SOFTWARE RISKS; SPREADSHEET APPLICATIONS; SPREADSHEET DEBUGGING;

ARTIFICIAL INTELLIGENCE; COMPUTER DEBUGGING; PROGRAM DIAGNOSTICS; QUALITY ASSURANCE; SOFTWARE ENGINEERING; SPREADSHEETS; TOOLS; USER INTERFACES;

PROGRAM DEBUGGING;

EID: 84887109938     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Abraham, R. and Erwig, M. (2006). Auto test: A tool for automatic test case generation in spreadsheets. In Proc. VLHCC '06, pages 43-50, Brighton, UK.
2. Abraham, R. and Erwig, M. (2007). Goal Debug: A spreadsheet debugger for end users. In Proceedings ICSE '07, pages 251-260, Minneapolis, USA.
3. Abraham, R. and Erwig, M. (2009). Mutation operators for spreadsheets. IEEE Trans. Softw. Eng., 35(1):94-108.
4. Abreu, R., Riboira, A., and Wotawa, F. (2012). Constraint based debugging of spreadsheets. In Proc. CIbSE 2012, pages 1-14.
5. Brown, P. S. and Gould, J. D. (1987). An experimental study of people creating spreadsheets. ACM Trans. Inf. Syst., 5(3):258-272.
6. Burnett, M., Sheretov, A., Ren, B., and Rothermel, G. (2002). Testing homogeneous spreadsheet grids with the "what you see is what you test" methodology. IEEE Trans. Softw. Eng., 28(6):576-594.
7. Chadwick, D., Knight, B., and Rajalingham, K. (2001). Quality control in spreadsheets: A visual approach using color codings to reduce errors in formulae. Software Quality Control, 9(2):133-143.
8. Console, L., Friedrich, G., and Dupŕe, D. T. (1993). Model based diagnosis meets error diagnosis in logic programs. In Proc. IJCAI '93, pages 1494-1499, Chambery.
9. Felfernig, A., Friedrich, G., Jannach, D., and Stumptner, M. (2004). Consistency-based diagnosis of configuration knowledge bases. Artif. Intell., 152(2):213-234.
10. Friedrich, G., Stumptner, M., and Wotawa, F. (1999). Model-based diagnosis of hardware designs. Artif. Intell., 111(1-2):3-39.
11. Galletta, D. F., Abraham, D., Louadi, M. E., Lekse, W., Pollalis, Y. A., and Sampler, J. L. (1993). An empirical study of spreadsheet error-finding performance. Accounting, Management and Inf Techn, 3(2):79 - 95.
12. Hermans, F., Pinzger, M., and van Deursen, A. (2012). Detecting code smells in spreadsheet formulas. In Proc. ICSM, Riva del Garda.
13. Hofer, B., Riboira, A., Wotawa, F., Abreu, R., and Getzner, E. (2013). On the empirical evaluation of fault localization techniques for spreadsheets. In Proc. FASE 2013, Rome, Italy.
14. Jannach, D. and Engler, U. (2010). Toward model-based debugging of spreadsheet programs. In Proc. JCKBSE '10, pages 252-264, Kaunas, Lithuania.
15. Junker, U. (2004). Quick x plain: Preferred explanations and relaxations for over-constrained problems. In Proceedings AAAI'04, pages 167-172.
16. Mateis, C., Stumptner, M., Wieland, D., and Wotawa, F. (2000). Model-based debugging of Java programs. In Proc. AADEBUG.
17. Panko, R. R. (1998). What we know about spreadsheet errors. J. End User Comput., 10(2):15-21.
18. Panko, R. R. and Port, D. N. (2012). End user computing: The dark matter (and dark energy) of corporate IT. In Proc. HICSS '12, pages 4603-4612.
19. Pemberton, J. and Robson, A. (2000). Spreadsheets in business. Industrial Management & Data Systems, 100(8):379-388.
20. Powell, S. G., Baker, K. R., and Lawson, B. (2008). A critical review of the literature on spreadsheet errors. Decis. Support Syst., 46(1):128-138.
21. Reichwein, J., Rothermel, G., and Burnett, M. (1999). Slicing spreadsheets: An integrated methodology for spreadsheet testing and debugging. In Proceedings DSL'99, pages 25-38, Austin, Texas.
22. Reiter, R. (1987). A theory of diagnosis from first principles. Artif. Intell., 32(1):57-95.
23. Rothermel, G., Li, L., Dupuis, C., and Burnett, M. (1998). What you see is what you test: A methodology for testing form-based visual programs. In Proc. ICSE 1998, pages 198 -207.
24. Shchekotykhin, K., Friedrich, G., Fleiss, P., and Rodler, P. (2012). Interactive ontology debugging: Two query strategies for efficient fault localization. Journal of Web Semantics, 1213:88 - 103.