@techreport{TR-IC-17-10,
   number = {IC-17-10},
   author = {Adilson Luiz Bonifacio and Arnaldo Vieira Moura},
   title = {Generating complete test suites for Reactive Systems},
   month = {July},
   year = {2017},
   institution = {Institute of Computing, University of Campinas},
   note = {In English, 25 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       Model  based  testing  is  a  well-established approach to test
       reactive  systems  described by formal models. In this paper we
       look  at  the  problem  of  generating  complete test suite for
       reactive  systems  formally  described  as Input Output Labeled
       Transition  Systems  (IOLTSs).  In  this  work we propose a new
       notion of conformance relation for IOLTS models based on formal
       languages  and  automata.  We  show  that  this new conformance
       relation  is  more  general  than  the  well-studied {\bf ioco}
       conformance  relation.  We  then  describe how to generate test
       suites  that are sound and exhaustive for a given specification
       model,  according to the new conformance relation. We impose no
       restrictions  on  the  structure  of the specification model, a
       distinct advantage when compared to other recent works.
  }
}