BibTeX record conf/icse/AvgerinosRCB14

download as .bib file

@inproceedings{DBLP:conf/icse/AvgerinosRCB14,
  author    = {Thanassis Avgerinos and
               Alexandre Rebert and
               Sang Kil Cha and
               David Brumley},
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {Enhancing symbolic execution with veritesting},
  booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  pages     = {1083--1094},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2568225.2568293},
  doi       = {10.1145/2568225.2568293},
  timestamp = {Tue, 06 Nov 2018 11:06:54 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/AvgerinosRCB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics