Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke. Finding Errors in Python Programs Using Dynamic Symbolic Execution. In Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich, editors, Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings. Volume 8254 of Lecture Notes in Computer Science, pages 283-289, Springer, 2013. [doi]
@inproceedings{SapraMCGC13,
title = {Finding Errors in Python Programs Using Dynamic Symbolic Execution},
author = {Samir Sapra and Marius Minea and Sagar Chaki and Arie Gurfinkel and Edmund M. Clarke},
year = {2013},
doi = {10.1007/978-3-642-41707-8_20},
url = {http://dx.doi.org/10.1007/978-3-642-41707-8_20},
researchr = {https://researchr.org/publication/SapraMCGC13},
cites = {0},
citedby = {0},
pages = {283-289},
booktitle = {Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings},
editor = {Hüsnü Yenigün and Cemal Yilmaz and Andreas Ulrich},
volume = {8254},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-41706-1},
}