Constraint-based debugging of spreadsheets

15th Ibero-American Conference on Software Engineering, CIbSE 2012

Volumn , Issue , 2012, Pages

  Abreu, Rui ^a   Riboira, André ^a   Wotawa, Franz ^b  

^a UNIVERSITY OF PORTO   (Portugal)

^b GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ADDED VALUES; CONSTRAINT SOLVERS; CONSTRAINT-BASED; ECONOMICAL IMPACT; ERROR PRONES; EXPECTED VALUES; FAULTY CELLS; PROGRAMMING ENVIRONMENT;

CONSTRAINT SATISFACTION PROBLEMS; PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING;

SPREADSHEETS;

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

References (30)

1. Ko, A.J., Abraham, R., Beckwith, L., Blackwell, A., Burnett, M., Erwig, M., Scaf-fidi, C., Lawrance, J., Lieberman, H., Myers, B., Rosson, M.B., Rothermel, G., Shaw, M., Wiedenbeck, S.: The state of the art in end-user software engineering. ACM Computing Surveys (2011)
2. Chadwick, D., Knight, B., Rajalingham, K.: Quality control in spreadsheets: A visual approach using color codings to reduce errors in formulae. Software Quality Journal 9(2) (2001) 133-143
3. Tukiainen, M.: Uncovering effects of programming paradigms: Errors in two spreadsheet systems. In: Proc. PPIG'00. (2000) 247-266
4. Collavizza, H., Rueher, M.: Exploring different constraint-based modelings for program verification. In: Proc. CP'07, Berlin, Heidelberg, Springer-Verlag (2007) 49-63
5. Ceballos, R., Gasca, R.M., Borrego, D.: Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Software Engineering Notes 31(2) (2006)
6. Wotawa, F., Nica, M.: On the compilation of programs into their equivalent constraint representation. Informatica Journal 32 (2008) 359-371
7. Woods, S., Yang, Q.: Program understanding as constraint satisfaction: Representation and reasoning techniques. Automated Software Eng. 5 (April 1998) 147-181
8. Gotlieb, A., Botella, B., Rueher, M.: Automatic test data generation using constraint solving techniques. In: ISSTA'98. (1998) 53-62
9. Gotlieb, A., Botella, B., Rueher, M.: A clp framework for computing structural test data. In: Proc. CL'00, London, UK, Springer-Verlag (2000) 399-413
10. Peischl, B., Wotawa, F.: Automated source-level error localization in hardware designs. IEEE Des. Test 23 (January 2006) 8-19
11. Abreu, R., Mayer, W., Stumptner, M., van Gemund, A.J.C.: Refining spectrum-based fault localization rankings. In Wainwright, R.L., Haddad, H., eds.: Proc. SAC'09, Honolulu, Hawaii, USA, ACM Press (8 - 12 March 2009) 409-414
12. Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In McMinn, P., ed.: Proc. TAIC PART'07, Windsor, United Kingdom, IEEE Computer Society (September 2007) 89-98
13. Weimer, W., Nguyen, T., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: Proc. ICSE'09, Washington, DC, USA, IEEE Computer Society (2009) 364-374
14. Mayer, W.: Static and Hybrid Analysis in Model-based Debugging. PhD thesis, School of Computer and Information Science, University of South Australia (2007)
15. Nica, M., Weber, J., Wotawa, F.: How to debug sequential code by means of constraint representation. In Grastien, A., Stumptner, M., eds.: Proc. DX'08, Blue Mountains, NSW, Australia (September 2008) 7-14
16. Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast, scalable, constraint solver. In: Proc. ECAI'06, Amsterdam, The Netherlands, The Netherlands, IOS Press (2006) 98-102
17. Nica, M., Nica, S., Wotawa, F.: Does testing help to reduce the number of potentially faulty statements in debugging? In: Proc. TAIC PART'10. (2010) 88-103
18. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1) (April 1987) 57-95
19. Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: Spectrum-based multiple fault localization. In Taentzer, G., Heimdahl, M., eds.: Proc. ASE'09, Auckland, New Zealand, IEEE Computer Society (16 - 20 November 2009)
20. Wotawa, F., Weber, J., Nica, M., Ceballos, R.: On the complexity of program debugging using constraints for modeling the program's syntax and semantics. In: Proc. CAEPIA'09. (2009) 22-31
21. Ko, A.J., Myers, B.A.: Designing the whyline: a debugging interface for asking questions about program behavior. In: Proc. CHI'04, New York, NY, USA, ACM (2004) 151-158
22. Abraham, R., Erwig, M.: Goaldebug: A spreadsheet debugger for end users. In: Proc. ICSE'07. (2007) 251-260
23. Rothermel, K.J., Cook, C.R., Burnett, M.M., Schonfeld, J., Green, T.R.G., Rother-mel, G.: Wysiwyt testing in the spreadsheet paradigm: an empirical evaluation. In: Proc. ICSE'00, New York, NY, USA, ACM (2000) 230-239
24. Ruthruff, J., Creswick, E., Burnett, M., Cook, C., Prabhakararao, S., Fisher M., Main, M.: End-user software visualizations for fault localization. In: Proc. SoftVis'03, New York, NY, USA, ACM (2003) 123-132
25. Abraham, R., Erwig, M.: Header and unit inference for spreadsheets through spatial analyses. In: Proc. VLHCC'04, Washington, DC, USA, IEEE Computer Society (2004) 165-172
26. Ahmad, Y., Antoniu, T., Goldwater, S., Krishnamurthi, S.: A type system for statically detecting spreadsheet errors. Volume 0., Los Alamitos, CA, USA, IEEE Computer Society (2003) 174
27. Abraham, R., Erwig, M.: Ucheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput. 18 (February 2007) 71-95
28. Panko, R.R.: Applying code inspection to spreadsheet testing. J. Manage. Inf. Syst. 16 (September 1999) 159-176
29. Cunha, J., Erwig, M., Saraiva, J.: Automatically inferring classsheet models from spreadsheets. In: Proc. VL/HCC'10. (2010) 93-100
30. Abraham, R., Erwig, M.: Mutation operators for spreadsheets. IEEE TSE 35(1) (2009) 94-108