Jiwei Yan Hao Zhou Xi Deng Ping Wang Rongjie Yan Jun Yan 0009 Jian Zhang 0001 Efficient testing of GUI applications by event sequence reduction. 102522 2021 201 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2020.102522 db/journals/scp/scp201.html#YanZDWYYZ21