Weighted Control Flow Subgraph to Support Debugging Activities | IEEE Conference Publication | IEEE Xplore