@techreport{TR-IC-14-01,
   number = {IC-14-01},
   author = {Adilson Luiz Bonifacio and Arnaldo Vieira Moura},
   title  =  {Checking  Test  Suite Completeness with Partial FSMs and
                   Weak Equivalence},
   month = {January},
   year = {2014},
   institution = {Institute of Computing, University of Campinas},
   note = {In English, 15 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       One  of  the important tasks in model-based testing is checking
       completeness of test suites. In this paper we first extend some
       known sufficient conditions for test suite completeness by also
       allowing partial implementations. We also study a new notion of
       equivalence,  and  show  that  the  same  conditions  are still
       sufficient when treating only complete implementations, but not
       when we also allow partial implementation models.
  }
}