Visible to the public Automated Test Input Generation for Android: Towards Getting There in an Industrial Case