Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test | IEEE Conference Publication | IEEE Xplore