Hypnos: understanding and treating sleep conflicts in smartphones
Testing Closed-Source Binary Device Drivers with DDT