Automatic and scalable fault detection for mobile applications
AMC: verifying user interface properties for vehicular applications