Automated Accessibility Testing of Mobile Apps
AMC: verifying user interface properties for vehicular applications