@techreport{TR-DCC-95-06,
  number = {DCC-95-06},
  author = {Anido, Ricardo O. and Cavalli, Ana},
  title = {Guaranteeing Full Fault Coverage for {UIO}-Based Methods},
  month = {June},
  year = {1995}, 
  institution = {Department of Computer Science, University of Campinas},
  note = {In English, 20 pages.
    \par\selectlanguage{english}\textbf{Abstract}
      This paper presents an analysis of the fault coverage provided by
      the UIO-based methods for testing communications protocols.
      Formal analysis of the fault coverage for the non-optimized method
      and for some of its optimized versions are presented.  A test is
      said to provide full coverage if no erroneous implementation can
      pass the test. In the case of optimizations based on the Rural
      Chinese Postman Tour [1] it is shown that unless certain
      conditions are met the method does not guarantee full fault
      coverage, even when, as suggested in [3], the uniqueness of UIO
      sequences (or Partial UIO sequences) are verified in the
      implementation.  The result of the analysis suggests how the
      existing methods for generating test sequences should be changed
      in order to guarantee full fault coverage.
  }
}