Key points are not available for this paper at this time.
Este artigo considera o teste aleatório de um compilador, usando programas gerados aleatoriamente como entradas, e comparando seu comportamento com e sem otimização. Como os programas gerados devem ser compiláveis, precisamos levar em consideração a sintaxe, as regras de escopo e a verificação de tipos durante nossa geração aleatória. Fazer isso, enquanto atingimos uma boa distribuição dos dados de teste, se mostra surpreendentemente sutil; a principal contribuição deste artigo é uma solução viável para esse problema. Usamos isso para gerar funções tipadas em listas, que compilamos usando o compilador Glasgow Haskell, um compilador Haskell maduro de qualidade de produção. Após cerca de 20.000 testes, provocamos uma falha do otimizador e a simplificamos automaticamente para um programa com apenas algumas construções.
Pałka et al. (Mon,) estudaram esta questão.