[2406.08340] Practical, Automated Scenario-based Mobile App Testing