%0 Conference Proceedings
%T AI for Localizing Faults in Spreadsheets
%+ Graz University of Technology [Graz] (TU Graz)
%A Hofer, Birgit
%A Nica, Iulia
%A Wotawa, Franz
%Z Part 1: Model Based Testing
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 29th IFIP International Conference on Testing Software and Systems (ICTSS)
%C St. Petersburg, Russia
%Y Nina Yevtushenko
%Y Ana Rosa Cavalli
%Y Hüsnü Yenigün
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-10533
%P 71-87
%8 2017-10-09
%D 2017
%R 10.1007/978-3-319-67549-7_5
%K Fault localization
%K Abstract models
%K Empirical evaluation
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Localizing faults in programs is considered a demanding task. A lot of effort is usually spent in finding the root cause of a misbehavior and correcting the program such that it fulfills its intended behavior. The situation is even worse in case of end user programming like spreadsheet development where more or less complex spreadsheets are developed only with little knowledge in programming and also testing. In order to increase quality of spreadsheets and also efficiency of spreadsheet development, tools for testing and debugging support are highly required. In this paper, we focus on the latter and show that approaches originating from Artificial Intelligence can be adapted for (semi-) automated fault localization in spreadsheets in an interactive manner. In particular, we introduce abstract models that can be automatically obtained from spreadsheets enabling the computation of diagnoses within a fraction of a second. Besides the basic foundations, we discuss empirical results using artificial and real-world spreadsheet examples. Furthermore, we show that the abstract models have a similar accuracy to models of spreadsheets capturing their semantics.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01678961/document
%2 https://inria.hal.science/hal-01678961/file/449632_1_En_5_Chapter.pdf
%L hal-01678961
%U https://inria.hal.science/hal-01678961
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-10533