Testing android apps through symbolic execution
Grammar-based whitebox fuzzing