RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs | IEEE Journals & Magazine | IEEE Xplore