CATE: Concolic Android Testing Using Java PathFinder for Android Applications. - Patrick McAfee; Mohamed Wiem Mkaouer; Daniel E. Krutz (MOBILESoft@ICSE, 2017)