Automated concolic testing of smartphone apps
Automated Whitebox Fuzz Testing