Che cosa stabilisce il criterio di copertura dei mutanti?

Un test T soddisfa il criterio di copertura dei mutanti se e solo se per ogni mutante π∈Π esiste almeno un caso di test t∈T la cui esecuzione produca per π un risultato diverso da quello prodotto da P.