History-Guided Configuration Diversification for Compiler Test-Program Generation | IEEE Conference Publication | IEEE Xplore