OwenDC06'

BibTeX

@inproceedings{DBLP:conf/issta/OwenDC06,
  author    = {David Owen and
               Dejan Desovski and
               Bojan Cukic},
  title     = {Random testing of formal software models and induced coverage},
  booktitle = {Random Testing},
  year      = {2006},
  pages     = {20-27},
  ee        = {http://doi.acm.org/10.1145/1145735.1145739},
  crossref  = {DBLP:conf/issta/2006rt},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/issta/2006rt,
  editor    = {Johannes Mayer and
               Robert G. Merkel},
  title     = {Proceedings of the 1st International Workshop on Random
               Testing, RT 2006, Portland, Maine, July 20, 2006},
  booktitle = {Random Testing},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-457-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}