Testing android apps through symbolic execution
Automated Whitebox Fuzz Testing