Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments | IEEE Journals & Magazine | IEEE Xplore