Minimizing GUI event traces
Automated concolic testing of smartphone apps