@techreport{TR-IC-99-11,
  number = {IC-99-11},
  author = {Nina Yevtushenko and Ana Cavalli and Ricardo Anido},
  title = {Test Suite Minimization for Embedded Nondeterministic Finite State Machines},
  month = {April},
  year = {1999}, 
  institution = {Institute of Computing, University of Campinas},
  note = {In English, 13 pages.
    \par\selectlanguage{english}\textbf{Abstract}
      This paper presents a method for minimizing test suites for
      embedded, nondeterministic Finite State Machines. The method 
      preserves the fault coverage of the original test suite, and
      can be used in conjunction with any technique for generating 
      test suites. The minimization is achieved by detecting and
      deleting redundant test cases in the test suite.
  }
}