@techreport{TR-IC-10-01,
   number = {IC-10-01},
   author = {Lehilton L. C. Pedrosa and Arnaldo V. Moura},
   title = {Testing Combined Finite State Machines},
   month = {January},
   year = {2010},
   institution = {Institute of Computing, University of Campinas},
   note = {In English, 34 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       The  automatic generation of test cases is an important problem
       for  conformance  testing  of several critical systems. In many
       situations,  the  system  specification  is modeled as a Finite
       State  Machine (FSM). In practice, a system is a combination of
       several    subsystems,    designed,    developed   and   tested  
       independently.  Since  the  overall number of states in the FSM
       specification  is  usually large, the known methods to generate
       test  suites  may  become impractical. So, to properly describe
       modular  systems,  in  this  paper,  we  define  the concept of
       combined FSMs. A combined FSM is obtained conjoining previously
       tested  submachines  with  newly  added  states.  We  adapt the
       well-known  W-method  and  the  G-method,  and  introduce a new
       method to test combined FSMs. The new method is scalable to the
       number  of states, and can also be used for incremental testing
       of new systems, or for retesting modified implementations.
  }
}