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

v1v2 (latest)

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

13 November 2019

ArXiv (abs)PDF HTML

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

5 / 5 papers shown

Title
Introduction to Machine Learning Laurent Younes 32 2,496 0 04 Sep 2024
Logically-Constrained Neural Fitted Q-Iteration Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 53 40 0 20 Sep 2018
Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm David Silver Thomas Hubert Julian Schrittwieser Ioannis Antonoglou Matthew Lai ... D. Kumaran T. Graepel Timothy Lillicrap Karen Simonyan Demis Hassabis 143 1,775 0 05 Dec 2017
Correct-by-synthesis reinforcement learning with temporal logic constraints Min Wen Rüdiger Ehlers Ufuk Topcu 55 61 0 05 Mar 2015
Playing Atari with Deep Reinforcement Learning Volodymyr Mnih Koray Kavukcuoglu David Silver Alex Graves Ioannis Antonoglou Daan Wierstra Martin Riedmiller 127 12,231 0 19 Dec 2013