Automated Test Input Generation for Android: Are We There Yet? (E)
Checking app behavior against app descriptions