DBLP BibTeX Record 'conf/issta/LoginovYCFRN08'

@inproceedings{DBLP:conf/issta/LoginovYCFRN08,
  author    = {Alexey Loginov and
               Eran Yahav and
               Satish Chandra and
               Stephen Fink and
               Noam Rinetzky and
               Mangala Gowri Nanda},
  title     = {Verifying dereference safety via expanding-scope analysis},
  booktitle = {ISSTA},
  year      = {2008},
  pages     = {213-224},
  ee        = {http://doi.acm.org/10.1145/1390630.1390657},
  crossref  = {DBLP:conf/issta/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/issta/2008,
  editor    = {Barbara G. Ryder and
               Andreas Zeller},
  title     = {Proceedings of the ACM/SIGSOFT International Symposium on
               Software Testing and Analysis, ISSTA 2008, Seattle, WA,
               USA, July 20-24, 2008},
  booktitle = {ISSTA},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-60558-050-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}