Software Debugging Through Dynamic Analysis of Program Structures by Zhang, Zhenyu