@article{articleefe58559,
title   = {Um método de teste de software baseado em casos de teste},
author = {Rotta, Sérgio Ricardo and Hirama, Kechi},
year = {2001},
journal   = {Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais}
}