FraserWA09'

BibTeX

@article{DBLP:journals/jss/FraserWA09,
  author    = {Gordon Fraser and
               Franz Wotawa and
               Paul Ammann},
  title     = {Issues in using model checkers for test case generation},
  journal   = {Journal of Systems and Software},
  volume    = {82},
  number    = {9},
  year      = {2009},
  pages     = {1403-1418},
  ee        = {http://dx.doi.org/10.1016/j.jss.2009.05.016},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}