Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications

Open in new window