A fuzzing test for dynamic vulnerability detection on Android Binder mechanism
Automated concolic testing of smartphone apps