DBLP Record 'conf/osdi/KremenekTBNE06'

BibTeX

@inproceedings{DBLP:conf/osdi/KremenekTBNE06,
  author    = {Ted Kremenek and
               Paul Twohey and
               Godmar Back and
               Andrew Y. Ng and
               Dawson R. Engler},
  title     = {From Uncertainty to Belief: Inferring the Specification
               Within},
  booktitle = {OSDI},
  year      = {2006},
  pages     = {161-176},
  ee        = {http://www.usenix.org/events/osdi06/tech/kremenek.html},
  crossref  = {DBLP:conf/osdi/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/osdi/2006,
  title     = {7th Symposium on Operating Systems Design and Implementation
               (OSDI '06), November 6-8, Seattle, WA, USA},
  booktitle = {OSDI},
  publisher = {USENIX Association},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}