BibTeX record conf/sigsoft/SenNGC15

download as .bib file

@inproceedings{DBLP:conf/sigsoft/SenNGC15,
  author    = {Koushik Sen and
               George C. Necula and
               Liang Gong and
               Wontae Choi},
  title     = {MultiSE: multi-path symbolic execution using value summaries},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {842--853},
  publisher = {{ACM}},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics