GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
on a test of whether one of two random variables is stochastically larger than the other .