BanerjeePDKD06'

BibTeX

@inproceedings{DBLP:conf/dac/BanerjeePDKD06,
  author    = {Ansuman Banerjee and
               Bhaskar Pal and
               Sayantan Das and
               Abhijeet Kumar and
               Pallab Dasgupta},
  title     = {Test generation games from formal specifications},
  booktitle = {DAC},
  year      = {2006},
  pages     = {827-832},
  ee        = {http://doi.acm.org/10.1145/1146909.1147120},
  crossref  = {DBLP:conf/dac/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dac/2006,
  editor    = {Ellen Sentovich},
  title     = {Proceedings of the 43rd Design Automation Conference, DAC
               2006, San Francisco, CA, USA, July 24-28, 2006},
  booktitle = {DAC},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-381-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}