Automated concolic testing of smartphone apps
Demand-driven compositional symbolic execution