Search-Based Test Generation for Android Apps | IEEE Conference Publication | IEEE Xplore