Troyd: Integration Testing for Android