@article {MTMT:33041903,
	title = {Using contextual knowledge in interactive fault localization},
	journal = {EMPIRICAL SOFTWARE ENGINEERING},
	volume = {27},
	year = {2022},
	abstract = {Tool support for automated fault localization in program debugging is limited because state-of-the-art algorithms often fail to provide efficient help to the user. They usually offer a ranked list of suspicious code elements, but the fault is not guaranteed to be found among the highest ranks. In Spectrum-Based Fault Localization (SBFL) {\textendash} which uses code coverage information of test cases and their execution outcomes to calculate the ranks {\textendash}, the developer has to investigate several locations before finding the faulty code element. Yet, all the knowledge she a priori has or acquires during this process is not reused by the SBFL tool. There are existing approaches in which the developer interacts with the SBFL algorithm by giving feedback on the elements of the prioritized list. We propose a new approach called iFL which extends interactive approaches by exploiting contextual knowledge of the user about the next item in the ranked list (e. g., a statement), with which larger code entities (e. g., a whole function) can be repositioned in their suspiciousness. We implemented a closely related algorithm proposed by Gong et al. , called Talk . First, we evaluated iFL using simulated users, and compared the results to SBFL and Talk . Next, we introduced two types of imperfections in the simulation: user{\textquoteright}s knowledge and confidence levels. On SIR and Defects4J, results showed notable improvements in fault localization efficiency, even with strong user imperfections. We then empirically evaluated the effectiveness of the approach with real users in two sets of experiments: a quantitative evaluation of the successfulness of using iFL , and a qualitative evaluation of practical uses of the approach with experienced developers in think-aloud sessions.},
	issn = {1382-3256},
	doi = {10.1007/s10664-022-10190-x},
	url = {https://m2.mtmt.hu/api/publication/33041903},
	author = {Horv{\'a}th, Ferenc and Besz{\'e}des, {\'A}rp{\'a}d and Vancsics, B{\'e}la and Balogh, Gerg{\H o} and Vid{\'a}cs, L{\'a}szl{\'o} and Tibor Gyim{\'o}thy}
}
@conference {BGB16a,
	title = {Using the City Metaphor for Visualizing Test-Related Metrics},
	booktitle = {Proceedings of the IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, the First International Workshop on Validating Software Tests (VST{\textquoteright}16)},
	year = {2016},
	pages = {17-20},
	author = {Gerg{\H o} Balogh and Tam{\'a}s Gergely and {\'A}rp{\'a}d Besz{\'e}des and Tibor Gyim{\'o}thy}
}
@article {Poshyvanyk:2009:UIR:1487421.1487439,
	title = {Using information retrieval based coupling measures for impact analysis},
	journal = {Empirical Softw. Engg.},
	volume = {14},
	year = {2009},
	month = {February},
	pages = {5{\textendash}32},
	publisher = {Kluwer Academic Publishers},
	address = {Hingham, MA, USA},
	keywords = {Change prediction, Coupling measurement, Impact analysis, Information retrieval, Latent semantic indexing, relate:quality, software quality selected},
	issn = {1382-3256},
	doi = {10.1007/s10664-008-9088-2},
	url = {http://dl.acm.org/citation.cfm?id=1487421.1487439},
	author = {D. Poshyvanyk and A. Marcus and Rudolf Ferenc and Tibor Gyim{\'o}thy}
}
@conference {BGL07,
	title = {Using Backward Dynamic Program Slicing to Isolate Influencing Statements in {GDB}},
	booktitle = {Proceedings of the 2007 GCC Developers{\textquoteright} Summit},
	year = {2007},
	month = {jul},
	pages = {21-30},
	author = {{\'A}rp{\'a}d Besz{\'e}des and Tibor Gyim{\'o}thy and G. L{\'o}ki and G. Di{\'o}s and F. Kov{\'a}cs}
}
@article {kiss:usingdynamic,
	title = {Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables},
	journal = {Software Quality Journal},
	volume = {13},
	number = {3},
	year = {2005},
	month = {sep},
	pages = {227{\textendash}245},
	publisher = {springer},
	author = {{\'A}kos Kiss and Judit J{\'a}sz and Tibor Gyim{\'o}thy}
}
@conference {BFS02,
	title = {Union Slices for Program Maintenance},
	booktitle = {Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2002)},
	year = {2002},
	month = {oct},
	pages = {12-21},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	author = {{\'A}rp{\'a}d Besz{\'e}des and Cs. Farag{\'o} and Zs. M. Szab{\'o} and J. Csirik and Tibor Gyim{\'o}thy}
}
@article {Zvada:2001:UDT:512590.512602,
	title = {Using decision trees to infer semantic functions of attribute grammars},
	journal = {Acta Cybern.},
	volume = {15},
	year = {2001},
	month = {December},
	pages = {279{\textendash}304},
	publisher = {Acta Cybernetica},
	address = {Szeged, Hungary, Hungary},
	issn = {0324-721X},
	url = {http://dl.acm.org/citation.cfm?id=512590.512602},
	author = {Sz. Zvada and Tibor Gyim{\'o}thy}
}
