Teste de software consiste na validação dinâmica de que um sistema sob teste (SST) apresenta comportamentos esperados em um conjunto finito de casos de teste adequadamente selecionados de um domínio de execução tipicamente infinito. Existem diversas técnicas de teste, tais como teste baseado em estrutura, teste baseado em mutação, teste baseado em especificação e teste baseado em experiência. Qual descrição caracteriza uma dessas técnicas?