计算机软件新技术-计算机科学国家重点实验联合学术研讨会

演讲人:张震宇

题目:Debugging-oriented Optimization of Software Testing - How academic research support industrial activities

摘要:Software testing is effective in revealing program failures and showing the presence of bugs. When a failure-causing execution is found, programmers still need to perform debugging task to remove bugs from a program. Since debugging is the adjacent follow-up task of testing in most cases, debugging-oriented optimization is extremely necessary for software testing. In this report, Dr. Zhang briefly motivates the need to optimize software testing for debugging, and introduces some of our recent work in this direction.