CATE: Concolic Android Testing Using Java PathFinder for Android Applications.

Patrick McAfee, Mohamed Wiem Mkaouer, Daniel E. Krutz

Browse the full ICSE paper archive.