Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce IEEE/ACM Conference on Automated Software Engineering (ASE 2016), pages 16-26, Singapore, Singapore, Sept. 2016