@techreport{TR-IC-08-14,
  number = {IC-08-14},
  author = {Adilson Luiz Bonifácio and
            Arnaldo Vieira Moura and
            Adenilso da Silva Simão},
  title = {A Generalized Model-based Test Generation Method},
  month = {May},
  year = {2008}, 
  institution = {Institute of Computing, University of Campinas},
  note = {In English, 21 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       In this paper we present a generalization for the W-method,
       which can be used for automatically generating test cases.  In
       contrast too the W-method, this generalization allows for test
       case generations even in the absence of a characterization set
       for the specification.  The work presents proofs of correctness
       for this generalization, and derives the original W-method from
       it as a particular case.  Formal proofs of correctness for the
       W-method, not given in the original paper, are also presented
       in a clear and detailed way.
  }
}