Gerador de casos de teste MC/DC

Ferramenta MC/DC gratuita (Modified Condition/Decision Coverage). Insira uma decisão booleana como A && (B || C) para obter a tabela verdade completa, os pares de independência de causa única para cada condição e um conjunto mínimo de casos de teste que satisfaz MC/DC — ideal para DO-178C e ISO 26262.