Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas C. Documento