Model inference ; Automatic testing ; Android appli-cations

Model Inference and Automatic Testing of Mobile Applications