SPARTAN: a spectral and information theoretic approach to partial-scan | IEEE Conference Publication | IEEE Xplore