Model inference ; Automatic testing ; Android applications

Model Inference and Automatic Testing of Mobile Applications *