AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction
Testing android apps through symbolic execution