Author:
Abreu Rui,Außerlechner Simon,Hofer Birgit,Wotawa Franz
Publisher
Springer International Publishing
Reference23 articles.
1. Abraham, R., Erwig, M.: GoalDebug: A spreadsheet debugger for end users. In: Proceedings of the 29th International Conference on Software Engineering ICSE 2007, pp. 251–260. IEEE Computer Society, Washington, DC, USA (2007)
2. Abraham, R., Erwig, M.: UCheck: a spreadsheet type checker for end users. J. Vis. Lang. Comput. 18, 71–95 (2007)
3. Abreu, R., Hofer, B., Perez, A., Wotawa, F.: Using constraints to diagnose faulty spreadsheets. Softw. Qual. J. 23(2), 297–322 (2015)
4. Ahmad, Y., Antoniu, T., Goldwater, S., Krishnamurthi, S.: A type system for statically detecting spreadsheet errors. In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 174–183. IEEE Computer Society (2003)
5. Ausserlechner, S., Fruhmann, S., Wieser, W., Hofer, B., Spork, R., Mühlbacher, C., Wotawa, F.: The right choice matters! SMT solving substantially improves model-based debugging of spreadsheets. In: 2013 13th International Conference on Quality Software (QSIC 2013). pp. 139–148 (2013)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software Fault Localization in Spreadsheets;Handbook of Software Fault Localization;2023-04-20
2. ExceLint: automatically finding spreadsheet formula errors;Proceedings of the ACM on Programming Languages;2018-10-24
3. Qualitative Deviation Models for Spreadsheet Debugging;2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2017-10
4. AI for Localizing Faults in Spreadsheets;Testing Software and Systems;2017