@techreport{TR-IC-13-21,
   number = {IC-13-21},
   author = {Adilson Luiz Bonifacio and Arnaldo Vieira Moura},
   title  =  {Necessity and Sufficiency for Checking m-Completeness of
                   Test Suites},
   month = {September},
   year = {2013},
   institution = {Institute of Computing, University of Campinas},
   note = {In English, 15 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       Test  suite generation for Finite State Machines (FSM) has been
       largely  investigated.  Some  of the previous work in this area
       found   necessary,  but  not  sufficient,  conditions  for  the 
       automatic  generation  of test suites for this class of models.
       Yet  other set of previous studies obtained sufficient, but not
       necessary,  conditions for the same problem. Many earlier works
       imposed  several  conditions  upon  the specification or on the
       implementation   models.   Here,   we  describe  necessary  and 
       sufficient   conditions   for   the   automatic  generation  of 
       $m$-complete   test   suites   when   the   specification   and  
       implementation  are  modeled  as  FSMs. Further, we impose only
       weak  \emph{a  priori}  restrictions  on  the  models,  such as
       determinism  and  completeness  of implementation models. We do
       not require reduced models nor complete specifications.
  }
}