ChangLCC00'

BibTeX

@article{DBLP:journals/ijseke/ChangLCC00,
  author    = {Kai H. Chang and
               Shih-Sung Liao and
               Richard Chapman and
               Chun-Yu Chen},
  title     = {Test Scenario Generation Based on Formal Specification and
               Usage Profile},
  journal   = {International Journal of Software Engineering and Knowledge
               Engineering},
  volume    = {10},
  number    = {2},
  year      = {2000},
  pages     = {185-201},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}