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
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=10.1.1.80.8019
Using constraints to diagnose faulty spreadsheets, Software Quality Journal, vol.32, issue.2, pp.297-322, 2015. ,
DOI : 10.1007/s11219-014-9236-4
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
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
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
Z3: An Efficient SMT Solver, 14th International Conference, pp.337-340, 2008. ,
DOI : 10.1007/978-3-540-78800-3_24
Constraint Processing, 2003. ,
Elements of Software Science (Operating and programming systems series), 1977. ,
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
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
Mutation-based spreadsheet debugging, 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp.132-137, 2013. ,
DOI : 10.1109/ISSREW.2013.6688892
Toward model-based debugging of spreadsheet programs, Proceedings of the 9th Joint Conference on Knowledge-Based Software Engineering . JCKBSE'10, pp.252-264, 2010. ,
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
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=10.1.1.158.606
On the use of mutations and testing for debugging. Software : practice & experience, 2012. ,
Applying Code Inspection to Spreadsheet Testing, Journal of Management Information Systems, vol.15, issue.1, pp.159-176, 1999. ,
DOI : 10.1109/52.232397
End User Computing, 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), Proceedings, pp.4603-4612, 2012. ,
DOI : 10.4018/joeuc.2013070101
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
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
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=10.1.1.13.5609
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=10.1.1.147.8995