Sobre o uso de grafos de causa e efeito, assinale a alternativa correta.

a) Esse tipo de grafo ajuda na definição de testes que exploram ambiguidades e incompletudes das especificações.
b) É uma técnica útil para especificações grandes, pois um único grafo pode resumir de maneira simples toda a especificação.
c) O grafo é construído após a partição do domínio de entrada, escolhendo-se, como causa, um valor por partição e, como efeito, a saída esperada.
d) Por construção, o grafo de causa e efeito elimina todas as ambiguidades e incompletudes da especificação.
e) Os nodos de um grafo de causa e efeito representam os estados do sistema e podem assumir qualquer valor.