@misc{koroglu2019reinforcement,
    title={Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications},
    author={Yavuz Koroglu and Alper Sen},
    year={2019},
    eprint={1911.05403},
    archivePrefix={arXiv},
    primaryClass={cs.SE}
}