Meta-heuristics for circuit partitioning in parallel test generation | Publicación