Toward model-based debugging of spreadsheet programs

Proceedings of the 9th Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2010

Volumn , Issue , 2010, Pages 252-262

  Jannach, Dietmar ^a   Engler, Ulrich ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Debugging; Model based diagnosis; Spreadsheet programs

Indexed keywords

FAULT LOCALIZATION; FAULT PREVENTION; INDUSTRIAL PRACTICES; IT PROFESSIONAL; MODEL BASED DIAGNOSIS; MODEL-BASED DEBUGGING; SOFTWARE DEBUGGING; SPREADSHEET PROGRAM;

COMPUTER DEBUGGING; KNOWLEDGE BASED SYSTEMS; PROGRAM DIAGNOSTICS; REPAIR; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPREADSHEETS;

PROGRAM DEBUGGING;

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

References (26)

1. Robin Abraham and Martin Erwig, 'Autotest: A tool for automatic test case generation in spreadsheets', in Proceedings of the Visual Languages and Human Centric Computing (VLHCC'06), pp. 43- 50, Brighton, (2006).
2. Robin Abraham and Martin Erwig, 'Goaldebug: A spreadsheet debugger for end users', in Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), pp. 251-260, Minneapolis, MN, (2007).
3. Robin Abraham and Martin Erwig, 'Mutation operators for spreadsheets', IEEE Transactions on Software Engineering, 35(1), 94-108, (2009).
4. Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, and Matthias Felleisen, 'Validating the unit correctness of spreadsheet programs', in Proceedings of the 26th International Conference on Software Engineering (ICSE'04), pp. 439-448, Edinburgh, Scotland, (2004).
5. Margaret Burnett, Curtis Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, and Chris Wallace, 'End user software engineering with assertions in the spreadsheet paradigm', in Proceedings of the International Conference on Software Engineering (ICSE'03), pp. 93-103, Portland, Oregon, (2003).
6. Margaret Burnett, Andrei Sheretov, Bing Ren, and Gregg Rothermel, 'Testing homogeneous spreadsheet grids with the what you see is what you test methodology', IEEE Transactions on Software Engineering, 28(6), 576-594, (2002).
7. David Chadwick, Brian Knight, and Kamalasen Rajalingham, 'Quality control in spreadsheets: A visual approach using color codings to reduce errors in formulae', Software Quality Control, 9(2), 133-143, (2001).
8. Chris Chambers and Martin Erwig, 'Automatic detection of dimension errors in spreadsheets', Journal of Visual Languages and Computing, 20(4), 269-283, (2009).
9. Luca Chittaro and Roberto Ranon, 'Hierarchical model based diagnosis based on structural abstraction', Artificial Intelligence, 2004, 1-2, (2004).
10. Markus Clermont, 'Heuristics for the automatic identification of irregularities in spreadsheets', in Proceedings of the 1st workshop on End user software engineering (WEUSE I), pp. 1-6, St. Louis, MO, (2005). ACM.
11. Luca Console, Gerhard Friedrich, and Daniele Theseider Dupre, 'Model based diagnosis meets error diagnosis in logic programs', in Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), pp. 1494-1499, Chambery, France, (1993).
12. J de Kleer and B C Williams, 'Diagnosing multiple faults', Artifical Intelligence, 32(1), 97-130, (1987).
13. Alexander Felfernig, Gerhard Friedrich, Klaus Isak, Kostyantyn Shchekotykhin, Erich Teppan, and Dietmar Jannach, 'Automated debugging of recommender user interface descriptions', Applied Intelligence, 31(1), 1-14, (2009).
14. Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Stumptner, 'Consistency based diagnosis of configuration knowledge bases', Artifical Intelligence, 152(2), 213-234, (2004).
15. Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, and Markus Zanker, 'Hierarchical diagnosis of large configurator knowledge bases', in Proceedings of the 12th Intl. Workshop on Principles of Diagnosis (DX'01), pp. 55-62, Via Lattea, Italy, (2001).
16. Marc Fisher and Gregg Rothermel, 'The EUSES spreadsheet corpus: A shared resource for supporting experimentation with spreadsheet dependability mechanisms', in WEUSE I: Proceedings of the first workshop on End user software engineering, pp. 1-5, St. Louis, Missouri, (2005).
17. G. Friedrich, S. Rass, and K. Shchekotykhin, 'A general method for diagnosing axioms', in Proceedings of the 17th International Workshop on Principles of Diagnosis (DX'06), pp. 101-108, Penaranda de Duero, Burgos, Spain, (2006).
18. Gerhard Friedrich and Kostyantyn M. Shchekotykhin, 'A general diagnosis method for ontologies', in Proceedings of the 4th International Semantic Web Conference (ISWC 2005), pp. 232-246, Galway, Ireland, (2005).
19. Gerhard Friedrich, Markus Stumptner, and Franz Wotawa, 'Model based diagnosis of hardware designs', Artificial Intelligence, 111(1-2), 3-39, (1999).
20. Ulrich Junker, 'Quickxplain: Preferred explanations and relaxations for over constrained problems', in Proceedings of the The Nineteenth National Conference on Artificial Intelligence (AAAI'04), pp. 167- 172, (2004).
21. J. Paine, 'Excelsior: bringing the benefits of modularisation to excel', in Proceedings of the International Conference of EuSpRIG'05, Greenwich, UK, (2005).
22. Raymond R. Panko, 'What we know about spreadsheet errors', Journal of End User Computing, 10(2), 15-21, (1998).
23. Raymond Reiter, 'A theory of diagnosis from first principles', Artifical Intelligence, 32(1), 57-95, (1987).
24. Christopher Scaffidi, Mary Shaw, and Brad Myers, 'Estimating the numbers of end users and end user programmers', in Proceedings of the 2005 IEEE Symposium on Visual Languages and Human Centric Computing (VLHCC'05), pp. 207-214, Washington, DC, USA, (2005).
25. E.P.K Tsang, Foundations of Constraint Satisfaction, Academic Press, 1993.
26. Franz Wotawa, 'On the relationship between model based debugging and program slicing', Artificial Intelligence, 135(1-2), 125-143, (2002).