Checking inside the black box: regression testing based on value spectra differences | IEEE Conference Publication | IEEE Xplore