Improving dynamic analysis coverage in Android with DroidBot