Quoc-Sang Phan. Self-composition by Symbolic Execution. In Andrew V. Jones, Nicholas Ng, editors, 2013 Imperial College Computing Student Workshop, ICCSW 2013, September 26/27, 2013, London, United Kingdom. Volume 35 of OASICS, pages 95-102, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2013. [doi]
Abstract is missing.