Towards an automated test sequence generation for mobile application using colored Petri Net | IEEE Conference Publication | IEEE Xplore