BibTeX record conf/pts/SapraMCGC13

• > Home > conf/pts/SapraMCGC13

@inproceedings{DBLP:conf/pts/SapraMCGC13,
  author       = {Samir Sapra and
                  Marius Minea and
                  Sagar Chaki and
                  Arie Gurfinkel and
                  Edmund M. Clarke},
  editor       = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
                  Cemal Yilmaz and
                  Andreas Ulrich},
  title        = {Finding Errors in Python Programs Using Dynamic Symbolic Execution},
  booktitle    = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8254},
  pages        = {283--289},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41707-8\_20},
  doi          = {10.1007/978-3-642-41707-8\_20},
  timestamp    = {Mon, 03 Jan 2022 22:21:07 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/SapraMCGC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}