U. H. Khan, “Automating Test Case Generation for Android Applications using Model-based Testing”, EMITTER Int’l J. of Engin. Technol., vol. 10, no. 1, pp. 63-82, Apr. 2022.