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]
Abstract is missing.