@misc{misc12e17d8d,
title   = {Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito},
author = {Nakazato, K K and Maldonado, José Carlos and Fabbri, S C P F and Masiero, Paulo Cesar},
year = {1994},
publisher = {Icmsc-Usp}
}