Aishan Liu, Li Li, Jie Luo: Automated Program Debugging for Multiple Bugs Based on Semantic Analysis. SOFL+MSVL 2015: 86-100