Supercomputing and grid computing on the verification of covering arrays | Publicación