R. Abraham and M. Erwig, GoalDebug: A Spreadsheet Debugger for End Users, 29th International Conference on Software Engineering (ICSE'07), pp.251-260, 2007.
DOI : 10.1109/ICSE.2007.39

R. Abraham and M. Erwig, UCheck: A spreadsheet type checker for end users, Journal of Visual Languages & Computing, vol.18, issue.1, pp.71-95, 2007.
DOI : 10.1016/j.jvlc.2006.06.001

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Abreu, B. Hofer, A. Perez, and F. Wotawa, Using constraints to diagnose faulty spreadsheets, Software Quality Journal, vol.32, issue.2, pp.297-322, 2015.
DOI : 10.1007/s11219-014-9236-4

Y. Ahmad, T. Antoniu, S. Goldwater, and S. Krishnamurthi, A type system for statically detecting spreadsheet errors, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.174-183, 2003.
DOI : 10.1109/ASE.2003.1240305

S. Ausserlechner, S. Fruhmann, W. Wieser, B. Hofer, R. Spork et al., The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets, 2013 13th International Conference on Quality Software, pp.139-148, 2013.
DOI : 10.1109/QSIC.2013.46

D. Chadwick, B. Knight, and K. Rajalingham, Quality control in spreadsheets: A visual approach using color codings to reduce errors in formulae, Software Quality Journal, vol.9, issue.2, pp.133-143, 2001.
DOI : 10.1023/A:1016631003750

L. M. De-moura and N. Bjørner, Z3: An Efficient SMT Solver, 14th International Conference, pp.337-340, 2008.
DOI : 10.1007/978-3-540-78800-3_24

R. Dechter, Constraint Processing, 2003.

M. H. Halstead, Elements of Software Science (Operating and programming systems series), 1977.

B. Hofer, A. Perez, R. Abreu, and F. Wotawa, On the empirical evaluation of similarity coefficients for spreadsheets fault localization, Automated Software Engineering, vol.21, issue.6, pp.47-74, 2015.
DOI : 10.1007/s10515-014-0145-3

B. Hofer, A. Riboira, F. Wotawa, R. Abreu, and E. Getzner, On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets, 16th Int. Conference on Fundamental Approaches to Software Engineering, pp.68-82, 2013.
DOI : 10.1007/978-3-642-37057-1_6

B. Hofer and F. Wotawa, Mutation-based spreadsheet debugging, 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp.132-137, 2013.
DOI : 10.1109/ISSREW.2013.6688892

D. Jannach and U. Engler, Toward model-based debugging of spreadsheet programs, Proceedings of the 9th Joint Conference on Knowledge-Based Software Engineering . JCKBSE'10, pp.252-264, 2010.

M. H. Liffiton and K. A. Sakallah, Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints, Journal of Automated Reasoning, vol.17, issue.1, pp.1-33, 2008.
DOI : 10.1007/s10817-007-9084-z

M. H. Liffiton and K. A. Sakallah, Generalizing Core-Guided Max-SAT, Proceedings of the 12th Int. Conference on Theory and Applications of Satisfiability Testing. SAT '09, pp.481-494, 2009.
DOI : 10.1017/S0890060403171065

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Nica, S. Nica, and F. Wotawa, On the use of mutations and testing for debugging. Software : practice & experience, 2012.

R. R. Panko, Applying Code Inspection to Spreadsheet Testing, Journal of Management Information Systems, vol.15, issue.1, pp.159-176, 1999.
DOI : 10.1109/52.232397

R. R. Panko and D. Port, End User Computing, 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), Proceedings, pp.4603-4612, 2012.
DOI : 10.4018/joeuc.2013070101

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

K. J. Rothermel, C. R. Cook, M. M. Burnett, J. Schonfeld, T. R. Green et al., WYSIWYT testing in the spreadsheet paradigm, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.230-239, 2000.
DOI : 10.1145/337180.337206

J. Ruthruff, E. Creswick, M. Burnett, C. Cook, S. Prabhakararao et al., End-user software visualizations for fault localization, Proceedings of the 2003 ACM symposium on Software visualization , SoftVis '03, pp.123-132, 2003.
DOI : 10.1145/774833.774851

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

W. Weimer, T. Nguyen, L. Goues, C. Forrest, and S. , Automatically finding patches using genetic programming, 2009 IEEE 31st International Conference on Software Engineering, pp.364-374, 2009.
DOI : 10.1109/ICSE.2009.5070536

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=