Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper) | IEEE Conference Publication | IEEE Xplore