Inter-procedural diagnosis path generation for automatic confirmation of program suspected faults - Zhu, Honglei (Array, 2019)