Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models | IEEE Journals & Magazine | IEEE Xplore