BibTeX record conf/sigsoft/MechtaevGCR18

download as .bib file

@inproceedings{DBLP:conf/sigsoft/MechtaevGCR18,
  author    = {Sergey Mechtaev and
               Alberto Griggio and
               Alessandro Cimatti and
               Abhik Roychoudhury},
  editor    = {Gary T. Leavens and
               Alessandro Garcia and
               Corina S. Pasareanu},
  title     = {Symbolic execution with existential second-order constraints},
  booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
               2018},
  pages     = {389--399},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236024.3236049},
  doi       = {10.1145/3236024.3236049},
  timestamp = {Wed, 21 Nov 2018 12:44:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/MechtaevGCR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier