Português
Um gerador automático de casos de teste de unidade para C Código fonte usando execução simbólica memorizada e solucionador de z3