报告题目：On Two Challenging Problems in Statistical Debugging
时间：12月15日（星期一）14:00
地点：校本部理工楼635室
报告人：Xiaoyuan Xie 谢晓园 (Swinburne University of Technology, Australia)
报告摘要:Statistical debugging is one of the most popular debugging approaches, in which data can be systematically collected to predict which statement is faulty. Spectrum-based fault localization (SBFL), as a big family of statistical debugging approaches, has received much attention in these years. For the past decade, over hundreds of SBFL papers were published. However, there are two challenging problems. One problem is that all studies have assumed the existence of a test oracle. However, in many application domains, this assumption does not hold. We use the technique of metamorphic testing to address this problem. Another problem is that all previous studies used experimental analysis to evaluate various SBFL techniques. However, results of these analyses cannot be conclusive because their validity is limited only to those subject programs that are investigated. To address this problem, we have proposed a framework, which can theoretically evaluate a SBFL technique.
报告人简介:Xiaoyuan Xie received her Bachelor and Master Degree in Computer Science from Southeast University, and received her PhD degree from Swinburne University of Technology, Australia. She currently works as a Postdoctoral Research Fellow in Software Analysis and Testing Research Group, Swinburne University of Technology. Her research interests include metamorphic testing, program analysis, debugging and search-based software engineering.