Parallel test generation using circuit partitioning and spectral techniques | Publicación