DBLP Record 'journals/software/GodefroidHNRSTL08'

BibTeX

@article{DBLP:journals/software/GodefroidHNRSTL08,
  author    = {Patrice Godefroid and
               Jonathan de Halleux and
               Aditya V. Nori and
               Sriram K. Rajamani and
               Wolfram Schulte and
               Nikolai Tillmann and
               Michael Y. Levin},
  title     = {Automating Software Testing Using Program Analysis},
  journal   = {IEEE Software},
  volume    = {25},
  number    = {5},
  year      = {2008},
  pages     = {30-37},
  ee        = {http://dx.doi.org/10.1109/MS.2008.109},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}