Erros em programas de computador causam grandes prejuízos econômicos e sociais. Uma das principais estratégias para a prevenção de erros são os testes unitários, que testam programas em nível de implementação e asseguram ...