Junjie Chen 0003, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang 0023
Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP, 2018.
@inproceedings{ECOOP-2018-ChenHZHK0, author = "Junjie Chen 0003 and Wenxiang Hu and Lingming Zhang and Dan Hao and Sarfraz Khurshid and Lu Zhang 0023", booktitle = "{Proceedings of the 32nd European Conference on Object-Oriented Programming}", doi = "10.4230/LIPIcs.ECOOP.2018.6", isbn = "978-3-95977-079-8", pages = "27", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{Learning to Accelerate Symbolic Execution via Code Transformation}", year = 2018, }