Learning to Accelerate Symbolic Execution via Code Transformation.

Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang

Browse the full ECOOP paper archive.