@mastersthesis{mastersthesis41da7766,
title   = {Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos},
author = {Cutigi, Jorge Francisco and Simão, Adenilso da Silva},
year = {2010},
school = {Universidade de São Paulo}
}