Incomplete MaxSAT approaches for combinatorial testing | Publicación